No TPTP formula. May not be expressible in strict first order. |
Food.kif 3668-3668 |
範圍子類 FarmOfProductFn and 耕地面積 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8151-8151 |
子類 園林 and 耕地面積 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3651-3651 |
子類 Orchard and 耕地面積 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3684-3684 |
子類 Vineyard and 耕地面積 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18006-18006 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18005-18005 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18004-18004 |
|