No TPTP formula. May not be expressible in strict first order. |
naics.kif 1385-1385 |
狗和猫食品制造 是 动物食品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1392-1392 |
其他动物食品制造业 是 动物食品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7584-7584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7583-7583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7582-7582 |
|