RyeGrain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4133-4134
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4135-4135	%每個黑麥穀物是 RyeGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4132-4132	子類黑麥穀物 and 穀物

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6179-6179	黑麥穀物是黑麥種植的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Food.kif 1535-1535	%每個 RyeFlour 是黑麥穀物的 initially part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50715-50715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50714-50714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50713-50713