patient

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1441-1452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23708-23721
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1897-1908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18291-18312
No TPTP formula. May not be expressible in strict first order. Merge.kif 12862-12875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28167-28176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28178-28188
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3444-3451
No TPTP formula. May not be expressible in strict first order. Hotel.kif 663-674
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Music.kif 863-872
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4368-4385
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 7639-7649
No TPTP formula. May not be expressible in strict first order. Merge.kif 11427-11436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2622-2635
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 2282-2290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14392-14402
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1508-1520

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