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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Carica_papaya_-_papaya_-_var-tropical_dwarf_papaya_-_desc-fruit.jpg") pictureList.kif 1463-1463
(externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Pineapple1.JPG") pictureList.kif 3256-3256
(externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Fruit_Stall_in_Barcelona_Market.jpg") pictureList.kif 3022-3022
(externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Madarines_white_bg.jpg") pictureList.kif 3258-3258
(externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Luxor%2C_Banana_Island%2C_Banana_Tree%2C_Egypt%2C_Oct_2004.jpg") pictureList.kif 3254-3254
(externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/en/7/ 78/ CoconutMandari.JPG") pictureList.kif 3255-3255
(subclass TropicalFruit Fruit) Economy.kif 4049-4049 Tropical fruit is a subclass of fruit

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


(subclass Avocado TropicalFruit) Economy.kif 4056-4056 Avocado is a subclass of tropical fruit
(subclass Banana TropicalFruit) Economy.kif 4063-4063 Banana is a subclass of tropical fruit
(subclass Breadfruit TropicalFruit) Economy.kif 4070-4070 Breadfruit is a subclass of tropical fruit
(subclass Coconut TropicalFruit) Economy.kif 4077-4077 Coconut is a subclass of tropical fruit
(subclass DateFruit TropicalFruit) Economy.kif 4084-4084 Date fruit is a subclass of tropical fruit
(subclass Mango TropicalFruit) Economy.kif 4091-4091 Mango is a subclass of tropical fruit
(subclass Papaw TropicalFruit) Economy.kif 4098-4098 Papaw is a subclass of tropical fruit
(subclass Papaya TropicalFruit) Economy.kif 4108-4108 Papaya is a subclass of tropical fruit
(subclass PassionFruit TropicalFruit) Economy.kif 4115-4115 Passion fruit is a subclass of tropical fruit
(subclass Pineapple TropicalFruit) Economy.kif 4122-4122 Pineapple is a subclass of tropical fruit
(subclass Plantain TropicalFruit) Economy.kif 4129-4129 Plantain is a subclass of tropical fruit
(termFormat ChineseLanguage TropicalFruit "热带水果") domainEnglishFormat.kif 59219-59219
(termFormat ChineseTraditionalLanguage TropicalFruit "熱帶水果") domainEnglishFormat.kif 59218-59218
(termFormat EnglishLanguage TropicalFruit "tropical fruit") domainEnglishFormat.kif 59217-59217

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


(=>
    (equal ?C
        (DeadFn TropicalFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4051-4054


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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