| Herbivore(herbivore)
| | herbivore |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17834-17834 | Herbivore is disjoint from carnivore |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17835-17835 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4723-4723 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17833-17833 | Herbivore is a subclass of mammal |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17909-17909 | Elephant is a subclass of herbivore |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28668-28668 | Panda is a subclass of herbivore |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27997-27997 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27996-27996 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27995-27995 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17837-17843 |
|
|
|
|