No TPTP formula. May not be expressible in strict first order. |
naics.kif 353-353 |
肉牛牧场和农业 是 肉牛牧场和农业包括饲养场 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 360-360 |
牛饲养场 是 肉牛牧场和农业包括饲养场 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10493-10493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10492-10492 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10491-10491 |
|