ChickenMeat
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20370-20370 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4599-4599 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20372-20372 | meatOfAnimal ChickenMeat and Chicken |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20371-20371 | ChickenMeat est une sous-classe de viande |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14430-14430 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14429-14429 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14428-14428 |