| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30385-30388 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20016-20016 | Domestic animal is a subclass of animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20081-20081 | Domestic cat is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20093-20093 | Domestic dog is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20159-20159 | Mule is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20178-20178 | Sheep is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20192-20192 | Cattle is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30574-30574 | Ferret is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30592-30592 | Guinea pig is a subclass of domestic animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30604-30604 | 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 |
|
|