MaizeGrain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4044-4045
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1443-1443
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4119-4119	%每个玉米粒是 MaizeGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4043-4043	玉米粒是谷物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6162-6162	玉米粒是玉米种植的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Food.kif 1547-1547	%每个 CornFlour 是玉米粒的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4118-4118	玉米粒的名是 "corn"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4117-4117	玉米粒的名是 "maize"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35687-35687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35686-35686
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35685-35685