No TPTP formula. May not be expressible in strict first order. |
naics.kif 8891-8891 |
All other publishers is a subattribute of other publishers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8884-8884 |
Greeting card publishers is a subattribute of other publishers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43418-43418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43417-43417 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43416-43416 |
|