No TPTP formula. May not be expressible in strict first order. |
naics.kif 346-346 |
肉牛牧场和农业包括饲养场 是 养牛和养殖 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 366-366 |
奶牛和牛奶生产 是 养牛和养殖 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 372-372 |
两用牛牧场和农业 是 养牛和养殖 的 subAttribute |
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 |
|