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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Banana

Sigma KEE - Banana
Banana(banana)
banana

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


No TPTP formula. May not be expressible in strict first order. Food.kif 748-752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 253-253
No TPTP formula. May not be expressible in strict first order. Economy.kif 4063-4063 Banana is a subclass of tropical fruit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9753-9753
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9752-9752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9751-9751

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4065-4068


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