No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6210-6210 |
家禽 是 家禽和鸡蛋生产 的 industry 产品类别 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20225-20225 |
鸡 是 家禽 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20249-20249 |
鸭 是 家禽 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20251-20251 |
鹅 是 家禽 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4921-4921 |
TurkeyBird 是 家禽 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46928-46928 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46927-46927 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46926-46926 |
|