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



KB Term:  Term intersection
English Word: 

  Mayotte

Sigma KEE - TeaPlantAerialPart
TeaPlantAerialPart(tea plant aerial part)

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


(subclass TeaPlantAerialPart FruitOrVegetable) Economy.kif 5039-5039 Tea plant aerial part is a subclass of fruit or vegetable
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 5040-5040 Tea plant aerial part is a subclass of plant substance
(documentation TeaPlantAerialPart EnglishLanguage "TeaPlantAerialPart is the class of all parts of the tea plant from which tea may be made, including leaves, stems, and twigs.") Economy.kif 5041-5043 Tea plant aerial part is a subclass of plant substance
(externalImage TeaPlantAerialPart "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 71/ Csinensis.jpg/ 800px_Csinensis.jpg") pictureList.kif 1461-1461 Tea plant aerial part is a subclass of plant substance

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


(subclass TeaLeaf TeaPlantAerialPart) Economy.kif 5044-5044 Tea leaf is a subclass of tea plant aerial part
(subclass TeaBud TeaPlantAerialPart) Economy.kif 5045-5045 Tea bud is a subclass of tea plant aerial part
(subclass TeaTwig TeaPlantAerialPart) Economy.kif 5046-5046 Tea twig is a subclass of tea plant aerial part
(termFormat EnglishLanguage TeaPlantAerialPart "tea plant aerial part") domainEnglishFormat.kif 57174-57174 Tea twig is a subclass of tea plant aerial part
(termFormat ChineseTraditionalLanguage TeaPlantAerialPart "茶樹空中部分") domainEnglishFormat.kif 57175-57175 Tea twig is a subclass of tea plant aerial part
(termFormat ChineseLanguage TeaPlantAerialPart "茶树空中部分") domainEnglishFormat.kif 57176-57176 Tea twig is a subclass of tea plant aerial part

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


(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))
Economy.kif 5048-5054 If equal X and Object made from Y, X is a subclass of tea plant aerial part, and Y is a subclass of plant stem, then every Y is initially part of a tea plant


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners