EdibleNut - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 140-140
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4469-4469	食用坚果是 FoodFromPlant 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4470-4470	食用坚果是水果或蔬菜的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6201-6201	食用坚果是树坚果种植的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Food.kif 2085-2085	AlmondNut 是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2419-2419	腰果是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4482-4482	澳洲坚果是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4518-4518	棕榈油坚果是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4474-4474	山核桃是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4476-4476	PineNut 是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4484-4484	乳木果是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4472-4472	核桃是食用坚果的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21234-21234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21233-21233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21232-21232