ChickenMeat
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20371-20371 | |
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 20373-20373 | 鸡肉 是 鸡 的 meat |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20372-20372 | 鸡肉 是 meat 的 subclass |
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 |