SoybeanFarming(大豆種植)![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 88-90 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8728-8728 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9676-9676 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9677-9677 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 86-86 | 子屬性 大豆種植 and 油籽和糧食種植 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54396-54396 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54395-54395 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54394-54394 |
![]() |
![]() |