No TPTP formula. May not be expressible in strict first order. |
naics.kif 244-244 |
MushroomProduction e' um sub-atributo de FoodCropsGrownUnderCover |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 251-251 |
OtherFoodCropsGrownUnderCover e' um sub-atributo de FoodCropsGrownUnderCover |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24512-24512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24511-24511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24510-24510 |
|