patient

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29974-29984
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3504-3511
No TPTP formula. May not be expressible in strict first order. Hotel.kif 684-695
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. WMD.kif 823-840
No TPTP formula. May not be expressible in strict first order. Music.kif 867-876
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4427-4444
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7972-7982
No TPTP formula. May not be expressible in strict first order. Merge.kif 12259-12268
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 753-763
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16766-16776
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1312-1324
No TPTP formula. May not be expressible in strict first order. Merge.kif 13409-13418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16200-16212
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 76-84
No TPTP formula. May not be expressible in strict first order. Medicine.kif 80-94
No TPTP formula. May not be expressible in strict first order. Food.kif 468-478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3416-3426

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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