No TPTP formula. May not be expressible in strict first order. |
naics.kif 1817-1817 |
所有其他杂项食品制造业 是 所有其他食品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1810-1810 |
生鲜食品制造业 是 所有其他食品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6642-6642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6641-6641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6640-6640 |
|