CattleFeedlots
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 362-364 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8407-8407 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9034-9034 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9035-9035 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 360-360 | 牛饲养场 是 肉牛牧场和农业包括饲养场 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13482-13482 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13481-13481 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13480-13480 |