No TPTP formula. May not be expressible in strict first order. |
naics.kif 8891-8891 |
所有其他出版商 是 其他出版商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8884-8884 |
贺卡出版商 是 其他出版商 的 subAttribute |
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 |
|