No TPTP formula. May not be expressible in strict first order. |
naics.kif 6441-6441 |
FurnitureWholesalers e' um sub-atributo de FurnitureAndHomeFurnishingWholesalers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6448-6448 |
HomeFurnishingWholesalers e' um sub-atributo de FurnitureAndHomeFurnishingWholesalers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25262-25262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25261-25261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25260-25260 |
|