| No TPTP formula. May not be expressible in strict first order. | Food.kif 2906-2914 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | Cattle e' uma sub-classe de Ungulado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20193-20193 | Cattle e' uma sub-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20197-20197 | Cow e' uma sub-classe de Cattle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20206-20206 | Calf e' uma sub-classe de Cattle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20215-20215 | Bull e' uma sub-classe de Cattle |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4903-4903 | GuernseyCattle e' uma sub-classe de Cattle |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4904-4904 | SenepolCattle e' uma sub-classe de Cattle |
|
|