| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30397-30400 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | Domestic animal is a subclass of animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20082-20082 | Domestic cat is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20094-20094 | Domestic dog is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20160-20160 | Mule is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20179-20179 | Sheep is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20193-20193 | Cattle is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30586-30586 | Ferret is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30604-30604 | Guinea pig is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30616-30616 | Hamster is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | Livestock is a subclass of domestic animal |
|
|