No TPTP formula. May not be expressible in strict first order. |
Food.kif 3668-3668 |
FarmOfProductFn 的所得值 是 耕地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8151-8151 |
园林 是 耕地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3651-3651 |
Orchard 是 耕地面积 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3684-3684 |
Vineyard 是 耕地面积 的 subclass |
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 |
|