No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20093-20093 | DomesticDog est une sous-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20094-20094 | DomesticDog est une sous-classe de canin |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20098-20098 | Puppy est une sous-classe de DomesticDog |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20105-20105 | Poodle est une sous-classe de DomesticDog |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20114-20114 | Sheepdog est une sous-classe de DomesticDog |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20121-20121 | Dachshund est une sous-classe de DomesticDog |