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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TropicalFruit

Sigma KEE - TropicalFruit
TropicalFruit
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

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


(subclass Avocado TropicalFruit) Economy.kif 4056-4056
(subclass Banana TropicalFruit) Economy.kif 4063-4063
(subclass Breadfruit TropicalFruit) Economy.kif 4070-4070
(subclass Coconut TropicalFruit) Economy.kif 4077-4077
(subclass DateFruit TropicalFruit) Economy.kif 4084-4084
(subclass Mango TropicalFruit) Economy.kif 4091-4091
(subclass Papaw TropicalFruit) Economy.kif 4098-4098
(subclass Papaya TropicalFruit) Economy.kif 4108-4108
(subclass PassionFruit TropicalFruit) Economy.kif 4115-4115
(subclass Pineapple TropicalFruit) Economy.kif 4122-4122
(subclass Plantain TropicalFruit) Economy.kif 4129-4129
(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 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