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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3960-3960 subclass TropicalFruit and Fruit

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


(subclass Avocado TropicalFruit) Economy.kif 3963-3963 subclass Avocado and TropicalFruit
(subclass Banana TropicalFruit) Economy.kif 3966-3966 subclass Banana and TropicalFruit
(subclass Breadfruit TropicalFruit) Economy.kif 3969-3969 subclass Breadfruit and TropicalFruit
(subclass Coconut TropicalFruit) Economy.kif 3972-3972 subclass Coconut and TropicalFruit
(subclass DateFruit TropicalFruit) Economy.kif 3975-3975 subclass DateFruit and TropicalFruit
(subclass Mango TropicalFruit) Economy.kif 3978-3978 subclass Mango and TropicalFruit
(subclass Papaw TropicalFruit) Economy.kif 3981-3981 subclass Papaw and TropicalFruit
(subclass Papaya TropicalFruit) Economy.kif 3986-3986 subclass Papaya and TropicalFruit
(subclass PassionFruit TropicalFruit) Economy.kif 3989-3989 subclass PassionFruit and TropicalFruit
(subclass Pineapple TropicalFruit) Economy.kif 3992-3992 subclass Pineapple and TropicalFruit
(subclass Plantain TropicalFruit) Economy.kif 3995-3995 subclass Plantain and TropicalFruit
(termFormat ChineseLanguage TropicalFruit "热带水果") domainEnglishFormat.kif 59139-59139
(termFormat ChineseTraditionalLanguage TropicalFruit "熱帶水果") domainEnglishFormat.kif 59138-59138
(termFormat EnglishLanguage TropicalFruit "tropical fruit") domainEnglishFormat.kif 59137-59137

statement
-------------------------


(subclass
    (DeadFn TropicalFruit) GroceryProduce)
Economy.kif 3961-3961 subclass DeadFn TropicalFruit and GroceryProduce


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners