No TPTP formula. May not be expressible in strict first order. | Merge.kif 14657-14657 | Canin est une sous-classe de carnivore |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20122-20122 | DomesticDog est une sous-classe de canin |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20160-20160 | Fox est une sous-classe de canin |