|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 505-505 | Medical researcher is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 515-515 | Paleontologist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18888-18888 | Pharmacist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 523-523 | Philosopher is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 544-544 | Physicist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 552-552 | Political scientist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 530-530 | Psychologist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 568-568 | Registered nurse is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18892-18892 | Researcher is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 346-346 | Scientist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 575-575 | Sociologist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 583-583 | Statistician is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18903-18903 | Teacher is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 590-590 | Theologian is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 597-597 | Veterinarian is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 605-605 | Zoologist is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18939 | Government position is a subclass of profession |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6334-6334 | Medical person is a subclass of profession |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47588-47588 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47587-47587 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47586-47586 |
|
|
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