No TPTP formula. May not be expressible in strict first order. | Merge.kif 14590-14590 | Hoofed mammal is a subclass of mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20074-20074 | Antelope is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20078-20078 | Buffalo is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20144-20144 | Horse is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20148-20148 | Pig is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20151-20151 | Donkey is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20159-20159 | Mule is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | Sheep is a subclass of hoofed mammal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | 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 |