No TPTP formula. May not be expressible in strict first order. |
naics.kif 7139-7139 |
FurnitureStores e' um sub-atributo de FurnitureAndHomeFurnishingsStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7145-7145 |
HomeFurnishingsStores e' um sub-atributo de FurnitureAndHomeFurnishingsStores |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25256-25256 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25255-25255 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25254-25254 |
|