No TPTP formula. May not be expressible in strict first order.	Biography.kif 535-537	If psychologist is an attribute of a human, then psychology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 571-573	If registered nurse is an attribute of a human, then therapeutic process has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 348-350	If scientist is an attribute of a human, then science has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 579-581	If sociologist is an attribute of a human, then sociology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 586-588	If statistician is an attribute of a human, then statistics has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 593-595	If theologian is an attribute of a human, then theology has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 601-603	If veterinarian is an attribute of a human, then veterinary medicine has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 609-611	If zoologist is an attribute of a human, then zoology has an expertise in the human

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners