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, date_fruit

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19026-19027
No TPTP formula. May not be expressible in strict first order. pictureList.kif 895-895 "http://upload.wikimedia.org/wikipedia/commons/1/17/ Dates_on_date_palm.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 598-598 "http://upload.wikimedia.org/wikipedia/commons/e/e5/ Parepou_fruit_dried.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 600-600 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 10/ Parepou_fruit-couleur.jpg/ 800px-Parepou_fruit-couleur.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. pictureList.kif 929-929 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 17/ Dates_on_date_palm.jpg/ 411px-Dates_on_date_palm.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 599-599 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 5f/ Phoenix_(botanical)_финики.jpg/ 250px-Phoenix_(botanical)_финики.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 601-601 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 65/ Parepou_fruit.jpg/ 800px-Parepou_fruit.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 596-596 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7e/ Medjool-Date.jpg/ 100px-Medjool-Date.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 597-597 "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d8/ Date_Fruits-Duo.jpg/ 235px-Date_Fruits-Duo.jpg" is a URL depicting date fruit
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19025-19025 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19024-19024 Date fruit is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 3975-3975 Date fruit is a subclass of tropical fruit

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3525-3525 "date fruit" is the printable form of date fruit in english language

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce


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