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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Berry
Berry(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 Berry is a subclass of fruit

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2214-2214 Bilberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2225-2225 Blackberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2230-2230 Black current is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2204-2204 Blueberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2235-2235 Cranberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2241-2241 Elderberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2247-2247 Gooseberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2252-2252 Huckleberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2258-2258 Lingonberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2265-2265 Madeira blueberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2271-2271 Raspberry is a subclass of berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2276-2276 Red current is a subclass of berry
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