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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Breadfruit

 Sigma KEE - Breadfruit
Breadfruit(breadfruit)
breadfruit

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 5891-5891
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6198-6198
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6199-6199
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6200-6200
No TPTP formula. May not be expressible in strict first order. Economy.kif 4070-4070 Breadfruit is a subclass of tropical fruit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11876-11876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11875-11875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11874-11874

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4072-4075


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