knows

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3710-3751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26457-26475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22173-22182
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3218-3226
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4263-4282
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4235-4249
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1575-1587
No TPTP formula. May not be expressible in strict first order. Merge.kif 12970-12982
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 468-478
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 521-531
No TPTP formula. May not be expressible in strict first order. People.kif 691-697
No TPTP formula. May not be expressible in strict first order. Law.kif 384-388
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1179-1185


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