| Cattle(cattle)
| | bovine |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21828-21829 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 328-328 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21827-21827 | Cattle is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21826-21826 | Cattle is a subclass of hoofed mammal |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6601-6601 | Cattle is an industry product type of cattle ranching and farming |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21849-21849 | Bull is a subclass of cattle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21840-21840 | Calf is a subclass of cattle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21831-21831 | Cow is a subclass of cattle |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5243-5243 | Guernsey cattle is a subclass of cattle |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5244-5244 | Senepol cattle is a subclass of cattle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13491-13491 | Senepol cattle is a subclass of cattle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13490-13490 | Senepol cattle is a subclass of cattle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13489-13489 | Senepol cattle is a subclass of cattle |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21834-21838 | An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21852-21856 | An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21843-21847 | An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2913-2921 |
|
|
|
|