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 | 子類 雞肉 and Meat |
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 |