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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DateFruit

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21114-21115
No TPTP formula. May not be expressible in strict first order. pictureList.kif 895-895
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 597-597
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 599-599
No TPTP formula. May not be expressible in strict first order. pictureList.kif 929-929
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 598-598
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 600-600
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 595-595
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 596-596
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21113-21113 Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21112-21112 Date fruit is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4084-4084 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 18615-18615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18614-18614
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18613-18613

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4086-4089


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