No TPTP formula. May not be expressible in strict first order. |
naics.kif 7862-7862 |
除烟草店外的所有其他杂货店零售商 是 所有其他杂货店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7856-7856 |
烟草店 是 所有其他杂货店零售商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6780-6780 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6779-6779 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6778-6778 |
|