No TPTP formula. May not be expressible in strict first order. |
naics.kif 7665-7665 |
BookStores e' um sub-atributo de BookStoresAndNewsDealers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7671-7671 |
NewsDealersAndNewsstands e' um sub-atributo de BookStoresAndNewsDealers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11633-11633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11632-11632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11631-11631 |
|