RiceGrain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4048-4049
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 695-695
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4115-4115	%每個米粒是水稻的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4047-4047	子類米粒 and 穀物

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6164-6164	米粒是水稻種植的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Food.kif 1541-1541	%每個 RiceFlour 是米粒的 initially part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49934-49934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49933-49933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49932-49932