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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Coconut
Coconut(coconut)
more pictures...
Cocos_nucifera, coco, coco_palm, cocoa_palm, cocoanut, coconut, coconut_meat, coconut_palm, coconut_tree

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18986-18987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 893-893 "http://upload.wikimedia.org/wikipedia/commons/5/59/ Cocos_nucifera14.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 608-608 "http://upload.wikimedia.org/wikipedia/commons/9/95/ Coconut_art_06.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList.kif 857-857 "http://upload.wikimedia.org/wikipedia/commons/d/de/ Koeh-187.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 602-602 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2d/ Coconut_bunch.jpg/ 800px-Coconut_bunch.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 606-606 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Cracked_coconut.jpg/ 799px-Cracked_coconut.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 609-609 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 80/ Florida_Keys_Coconut_Palm.jpg/ 600px-Florida_Keys_Coconut_Palm.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 605-605 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ab/ Tender_coconut.jpg/ 300px-Tender_coconut.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 607-607 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b6/ Ganesh_Coconut.jpg/ 800px-Ganesh_Coconut.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 604-604 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ ba/ Kokosnuss-Coconut.jpg/ 800px-Kokosnuss-Coconut.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 603-603 "http://upload.wikimedia.org/wikipedia/en/thumb/0/09/ GntCoconut.jpg/ 800px-GntCoconut.jpg" is a URL depicting coconut
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18985-18985 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18984-18984 Coconut is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 3972-3972 Coconut is a subclass of tropical fruit

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


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

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3973-3973 A dead coconut 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