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 20224-20224 |
子類 雞 and 家禽 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20248-20248 |
子類 鴨 and 家禽 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20250-20250 |
子類 鵝 and 家禽 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4921-4921 |
子類 TurkeyBird and 家禽 |
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 |
|