Animal(animal)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7160-7167
No TPTP formula. May not be expressible in strict first order. Merge.kif 12667-12672
No TPTP formula. May not be expressible in strict first order. Merge.kif 11277-11285
No TPTP formula. May not be expressible in strict first order. Economy.kif 4368-4370
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12140-12145
No TPTP formula. May not be expressible in strict first order. Food.kif 237-243
No TPTP formula. May not be expressible in strict first order. Merge.kif 14620-14631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8870-8878
No TPTP formula. May not be expressible in strict first order. Cars.kif 3513-3526
No TPTP formula. May not be expressible in strict first order. Merge.kif 10290-10295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6661-6668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11147-11152
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10498-10505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9187-9198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7491-7498
No TPTP formula. May not be expressible in strict first order. Cars.kif 3562-3586
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 11929-11938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11176-11186
No TPTP formula. May not be expressible in strict first order. Cars.kif 3533-3555


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