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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Berry
Berry(漿果)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 2199-2202
No TPTP formula. May not be expressible in strict first order. pictureList.kif 40-40
No TPTP formula. May not be expressible in strict first order. Food.kif 2198-2198 子類 漿果 and 水果

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 2214-2214 子類 Bilberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2225-2225 子類 Blackberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2230-2230 子類 Blackcurrent and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2204-2204 子類 Blueberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2235-2235 子類 Cranberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2241-2241 子類 Elderberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2247-2247 子類 Gooseberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2252-2252 子類 Huckleberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2258-2258 子類 Lingonberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2265-2265 子類 MadeiraBlueberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2271-2271 子類 Raspberry and 漿果
No TPTP formula. May not be expressible in strict first order. Food.kif 2276-2276 子類 Redcurrent and 漿果
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10835-10835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10834-10834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10833-10833


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