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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Avocado
Avocado(avocado)
aguacate, alligator_pear, avocado, avocado_pear

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 21148-21149
(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 21147-21147 Avocado is a subclass of food for animal
(subclass Avocado FruitOrVegetable) Mid-level-ontology.kif 21146-21146 Avocado is a subclass of fruit or vegetable
(subclass Avocado TropicalFruit) Economy.kif 4056-4056 Avocado is a subclass of tropical fruit

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 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 3.0 is open source software produced by Articulate Software and its partners