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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Avocado

Sigma KEE - Avocado
Avocado

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


(documentation Avocado EnglishLanguage "A FruitOrVegetable that is shaped like a pear and has a dark green skin and a rich meat.") Mid-level-ontology.kif 21124-21125
(externalImage Avocado "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ food/ fruit/ avacado/ avocado_4.png") pictureList.kif 248-248
(subclass Avocado
    (FoodForFn Animal))
Mid-level-ontology.kif 21123-21123
(subclass Avocado FruitOrVegetable) Mid-level-ontology.kif 21122-21122
(subclass Avocado TropicalFruit) Economy.kif 4056-4056

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


(termFormat ChineseLanguage Avocado "鳄梨") domainEnglishFormat.kif 9381-9381
(termFormat ChineseTraditionalLanguage Avocado "鱷梨") domainEnglishFormat.kif 9380-9380
(termFormat EnglishLanguage Avocado "avocado") domainEnglishFormat.kif 9379-9379

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


(=>
    (equal ?C
        (DeadFn Avocado))
    (subclass ?C GroceryProduce))
Economy.kif 4058-4061


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