No TPTP formula. May not be expressible in strict first order. |
Food.kif 3668-3668 |
The values returned by farm of product fn are subclasses of cultivated land area |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8151-8151 |
Garden is a subclass of cultivated land area |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3651-3651 |
Orchard is a subclass of cultivated land area |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3684-3684 |
Vineyard is a subclass of cultivated land area |
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 |
|