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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CitrusFruit

Sigma KEE - CitrusFruit
CitrusFruit

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


(externalImage CitrusFruit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Ambersweet_oranges.jpg") pictureList.kif 142-142
(subclass CitrusFruit Fruit) Economy.kif 4028-4028

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


(subclass LemonFruit CitrusFruit) Economy.kif 4035-4035
(subclass Lime CitrusFruit) Economy.kif 4047-4047
(subclass OrangeFruit CitrusFruit) Economy.kif 4042-4042
(termFormat ChineseLanguage CitrusFruit "柑橘类水果") domainEnglishFormat.kif 14907-14907
(termFormat ChineseTraditionalLanguage CitrusFruit "柑橘類水果") domainEnglishFormat.kif 14906-14906
(termFormat EnglishLanguage CitrusFruit "citrus fruit") domainEnglishFormat.kif 14905-14905

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


(=>
    (equal ?C
        (DeadFn CitrusFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4030-4033


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