I translated this DAML representation
into mKR, and am currently making "corrections",
with the result being stored in
1. I'd like to know how this version compares with the
current OpenCyc 1.0.2.
is version 0.6 the same as 1.0.2?
a subset of version 1.0.2?
2. Are there any new DAML|OWL|other versions of the Upper Ontology
available? Any versions of the total knowledge base?
3. Who can I talk to about "corrections"?
OWL father sameAs biologicalFather.
mKR father is biologicalFather;
knowledge := man do identify od existent done;
knowledge haspart proposition list;