No TPTP formula. May not be expressible in strict first order. |
naics.kif 8891-8891 |
子屬性 所有其他出版商 and 其他出版商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8884-8884 |
子屬性 賀卡出版商 and 其他出版商 |
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 |
|