CerealGrass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3814-3815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8412-8412
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9042-9042
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3813-3813	谷物草是草的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4012-4012	BarleyGrass 是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3821-3821	MaizeGrass 是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4017-4017	MilletGrass 是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4007-4007	OatGrass 是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3817-3817	水稻是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4000-4000	RyeGrass 是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3826-3826	高粱是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3860-3860	WheatGrass 是谷物草的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13950-13950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13949-13949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13948-13948

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 4031-4033

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 4166-4172