No TPTP formula. May not be expressible in strict first order. |
naics.kif 7665-7665 |
书店 是 书店和新闻经销商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7671-7671 |
新闻经销商和报摊 是 书店和新闻经销商 的 subAttribute |
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 |
|