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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DateFruit
DateFruit(date fruit)
more pictures...
date

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


(documentation DateFruit EnglishLanguage "A FruitOrVegetable that is produced by the date palm.") Mid-level-ontology.kif 21134-21135
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Dates_on_date_palm.jpg") pictureList.kif 895-895
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Parepou_fruit_dried.jpg") pictureList-ImageNet.kif 597-597
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 10/ Parepou_fruit-couleur.jpg/ 800px-Parepou_fruit-couleur.jpg") pictureList-ImageNet.kif 599-599
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 17/ Dates_on_date_palm.jpg/ 411px-Dates_on_date_palm.jpg") pictureList.kif 929-929
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5f/ Phoenix_(botanical)_финики.jpg/ 250px-Phoenix_(botanical)_финики.jpg") pictureList-ImageNet.kif 598-598
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 65/ Parepou_fruit.jpg/ 800px-Parepou_fruit.jpg") pictureList-ImageNet.kif 600-600
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7e/ Medjool-Date.jpg/ 100px-Medjool-Date.jpg") pictureList-ImageNet.kif 595-595
(externalImage DateFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d8/ Date_Fruits-Duo.jpg/ 235px-Date_Fruits-Duo.jpg") pictureList-ImageNet.kif 596-596
(subclass DateFruit
    (FoodForFn Animal))
Mid-level-ontology.kif 21133-21133 Date fruit is a subclass of food for animal
(subclass DateFruit FruitOrVegetable) Mid-level-ontology.kif 21132-21132 Date fruit is a subclass of fruit or vegetable
(subclass DateFruit TropicalFruit) Economy.kif 4084-4084 Date fruit is a subclass of tropical fruit

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


(termFormat ChineseLanguage DateFruit "日期水果") domainEnglishFormat.kif 18615-18615
(termFormat ChineseTraditionalLanguage DateFruit "日期水果") domainEnglishFormat.kif 18614-18614
(termFormat EnglishLanguage DateFruit "date fruit") domainEnglishFormat.kif 18613-18613

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


(=>
    (equal ?C
        (DeadFn DateFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4086-4089


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