No TPTP formula. May not be expressible in strict first order. |
naics.kif 1385-1385 |
子屬性 狗和貓食品製造 and 動物食品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1392-1392 |
子屬性 其他動物食品製造業 and 動物食品製造業 |
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 |
|