Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fruit

 Sigma KEE - Fruit
Fruit(水果)

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 水果 是 水果或蔬菜 的 subclass

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 苹果 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2281-2281 鳄梨 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2198-2198 浆果 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2325-2325 柑橘类水果 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2188-2188 日期水果 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2288-2288 葡萄 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2290-2290 瓜 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2294-2294 橄榄 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2758-2758 Peach 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2193-2193 梨果 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3481-3481 Strawberry 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3487-3487 TamarindFruit 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2286-2286 番茄 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2364-2364 热带水果 是 水果 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4730-4730 酿酒葡萄 是 水果 的 subclass
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
No TPTP formula. May not be expressible in strict first order. Economy.kif 4223-4227
No TPTP formula. May not be expressible in strict first order. Economy.kif 4277-4281

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 174-180
No TPTP formula. May not be expressible in strict first order. Food.kif 1760-1769
No TPTP formula. May not be expressible in strict first order. Food.kif 3368-3375
No TPTP formula. May not be expressible in strict first order. Food.kif 3448-3450


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

Show without tree


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