No TPTP formula. May not be expressible in strict first order. |
naics.kif 155-155 |
OtherVegetableExceptPotatoAndMelonFarming e' um sub-atributo de VegetableAndMelonFarming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 149-149 |
PotatoFarming e' um sub-atributo de VegetableAndMelonFarming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6196-6196 |
VegetableFarming e' um sub-atributo de VegetableAndMelonFarming |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61310-61310 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61309-61309 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61308-61308 |
|