OatGrain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4122-4123
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8625-8625
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9485-9485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9486-9486
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4124-4124	%每個燕麥粒是 OatGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4121-4121	子類燕麥粒 and 穀物

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6169-6169	燕麥粒是燕麥種植的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41518-41518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41517-41517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41516-41516