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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coconut

 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 21046-21047
No TPTP formula. May not be expressible in strict first order. pictureList.kif 893-893
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 607-607
No TPTP formula. May not be expressible in strict first order. pictureList.kif 857-857
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 601-601
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 605-605
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 608-608
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 604-604
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 606-606
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 603-603
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 602-602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21045-21045 Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21044-21044 Coconut is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4077-4077 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 15471-15471
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15470-15470
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15469-15469

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4079-4082


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