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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TropicalFruit

 Sigma KEE - TropicalFruit
TropicalFruit(tropical fruit)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1463-1463
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3256-3256
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3022-3022
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3258-3258
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3254-3254
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3255-3255
No TPTP formula. May not be expressible in strict first order. Economy.kif 4049-4049 Tropical fruit is a subclass of fruit

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4056-4056 Avocado is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4063-4063 Banana is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4070-4070 Breadfruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4077-4077 Coconut is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4084-4084 Date fruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4091-4091 Mango is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4098-4098 Papaw is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4108-4108 Papaya is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4115-4115 Passion fruit is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4122-4122 Pineapple is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. Economy.kif 4129-4129 Plantain is a subclass of tropical fruit
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59219-59219
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59218-59218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59217-59217

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4051-4054


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