No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | Hoofed mammal is a subclass of mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20073-20073 | Antelope is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20077-20077 | Buffalo is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20143-20143 | Horse is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20147-20147 | Pig is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20150-20150 | Donkey is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20158-20158 | Mule is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20177-20177 | Sheep is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20191-20191 | Cattle is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4905-4905 | Goat is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4907-4907 | Water buffalo is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4909-4909 | Reindeer is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4911-4911 | Deer is a subclass of hoofed mammal |