No TPTP formula. May not be expressible in strict first order. |
naics.kif 7349-7349 |
ConvenienceStores e' um sub-atributo de GroceryStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7341-7341 |
SupermarketsAndOtherGroceryExceptConvenienceStores e' um sub-atributo de GroceryStores |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26670-26670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26669-26669 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26668-26668 |
|