No TPTP formula. May not be expressible in strict first order. |
naics.kif 7581-7581 |
珠宝店 是 珠宝箱包和皮具店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7587-7587 |
箱包和皮具店 是 珠宝箱包和皮具店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31609-31609 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31608-31608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31607-31607 |
|