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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Berry

 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 Berry e' uma sub-classe de Fruit

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2214-2214 Bilberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2225-2225 Blackberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2230-2230 Blackcurrent e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2204-2204 Blueberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2235-2235 Cranberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2241-2241 Elderberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2247-2247 Gooseberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2252-2252 Huckleberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2258-2258 Lingonberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2265-2265 MadeiraBlueberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2271-2271 Raspberry e' uma sub-classe de Berry
No TPTP formula. May not be expressible in strict first order. Food.kif 2276-2276 Redcurrent e' uma sub-classe de 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 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