Fruit - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2176-2177
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 449-449
No TPTP formula. May not be expressible in strict first order.	Food.kif 2175-2175	子類水果 and FruitOrVegetable

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6193-6193	水果是水果種植的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Food.kif 1754-1754	%每個 Jam 是水果的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2179-2179	子類蘋果 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2281-2281	子類鱷梨 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2198-2198	子類漿果 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2325-2325	子類柑橘類水果 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2188-2188	子類日期水果 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2288-2288	子類葡萄 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2290-2290	子類瓜 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2294-2294	子類橄欖 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2758-2758	子類 Peach and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2193-2193	子類梨果 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 3481-3481	子類 Strawberry and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 3487-3487	子類 TamarindFruit and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2286-2286	子類番茄 and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 2364-2364	子類熱帶水果 and 水果
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4730-4730	子類釀酒葡萄 and 水果
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25112-25112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25111-25111
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25110-25110

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	等於 Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4223-4227	子類 Object and 水果等於 Object and 黃瓜 %每個 Object 是 CucumberPlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4277-4281	子類 Object and 水果等於 Object and 茄子 %每個 Object 是 EggplantPlant 的 initially part

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 174-180	例 Process and Hulling 患者 Process and Entity 例 Entity and 種子例 Entity and 水果
No TPTP formula. May not be expressible in strict first order.	Food.kif 1760-1769	例 Entity and Jam Process Entity and Entity 例 Process and Boiling 患者 Process and Entity 例 Entity and 水果患者 Process and Entity 例 Entity and 糖結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3368-3375	例 Entity and Schnapps Process Object 例 Process and 蒸餾例 Object and 水果資源 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3448-3450	例 CorpuscularObject and Sorbet 材料水果 and CorpuscularObject

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: