No TPTP formula. May not be expressible in strict first order. |
naics.kif 346-346 |
子屬性 肉牛牧場和農業包括飼養場 and 養牛和養殖 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 366-366 |
子屬性 奶牛和牛奶生產 and 養牛和養殖 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 372-372 |
子屬性 兩用牛牧場和農業 and 養牛和養殖 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13488-13488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13487-13487 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13486-13486 |
|