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 est une sous-classe de Fruit

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


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