![]() |
![]() ![]()
|
![]() |
|
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 | 子屬性 牛飼養場 and 肉牛牧場和農業包括飼養場 |
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 |
![]() |
![]() |