| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20121-20121 | DomesticDog e' uma sub-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20122-20122 | DomesticDog e' uma sub-classe de Canino |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20126-20126 | Puppy e' uma sub-classe de DomesticDog |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20133-20133 | Poodle e' uma sub-classe de DomesticDog |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20142-20142 | Sheepdog e' uma sub-classe de DomesticDog |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20149-20149 | Dachshund e' uma sub-classe de DomesticDog |
|
|