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 | 大豆种植 是 油籽和粮食种植 的 subAttribute |
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 |