No TPTP formula. May not be expressible in strict first order. |
naics.kif 7659-7659 |
书店和新闻经销商 是 预定期刊和音乐商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7689-7689 |
预录磁带光盘和唱片店 是 预定期刊和音乐商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11603-11603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11602-11602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11601-11601 |
|