Animal(animal)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12205-12210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4433-4442
No TPTP formula. May not be expressible in strict first order. Military.kif 62-71
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7480-7487
No TPTP formula. May not be expressible in strict first order. Merge.kif 12903-12908
No TPTP formula. May not be expressible in strict first order. Merge.kif 11438-11446
No TPTP formula. May not be expressible in strict first order. Economy.kif 4892-4894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12675-12680
No TPTP formula. May not be expressible in strict first order. Food.kif 1909-1915
No TPTP formula. May not be expressible in strict first order. Merge.kif 14884-14895
No TPTP formula. May not be expressible in strict first order. Medicine.kif 924-938
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4642-4651
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4634-4640
No TPTP formula. May not be expressible in strict first order. Economy.kif 5013-5024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9255-9263
No TPTP formula. May not be expressible in strict first order. Cars.kif 3511-3524
No TPTP formula. May not be expressible in strict first order. Merge.kif 10377-10382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6997-7004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11662-11667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10991-10998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9587-9598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7818-7825
No TPTP formula. May not be expressible in strict first order. Cars.kif 3558-3582
No TPTP formula. May not be expressible in strict first order. Military.kif 210-218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12448-12457

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