No TPTP formula. May not be expressible in strict first order. |
Food.kif 3668-3668 |
Os valores retornados por FarmOfProductFn sao as sub-classes de CultivatedLandArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8178-8178 |
Garden e' uma sub-classe de CultivatedLandArea |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3651-3651 |
Orchard e' uma sub-classe de CultivatedLandArea |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3684-3684 |
Vineyard e' uma sub-classe de CultivatedLandArea |
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 |
|