| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20061-20061 | Herbivore est une sous-classe de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20136-20136 | Elephant est une sous-classe de Herbivore |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30479-30479 | Panda est une sous-classe de Herbivore |
|
|