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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantSubstance
PlantSubstance(plant substance)stub

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


(documentation PlantSubstance ChineseLanguage "这是只由 Plant 所产生的 BodySubstance。") chinese_format.kif 3475-3475
(documentation PlantSubstance EnglishLanguage "BodySubstances that are produced exclusively by Plants.") Merge.kif 14824-14825
(subclass PlantSubstance BodySubstance) Merge.kif 14823-14823 Plant substance is a subclass of body substance

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


(subclass Alkaloid PlantSubstance) Mid-level-ontology.kif 8643-8643 Alkaloid is a subclass of plant substance
(subclass AloeveraGel PlantSubstance) Economy.kif 6236-6236 Aloe vera gel is a subclass of plant substance
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 9219-9219 Cellulose is a subclass of plant substance
(subclass CocoaBean PlantSubstance) Economy.kif 4687-4687 Cocoa bean is a subclass of plant substance
(subclass Hay PlantSubstance) Mid-level-ontology.kif 20399-20399 Hay is a subclass of plant substance
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 9231-9231 Nectar is a subclass of plant substance
(subclass Opium PlantSubstance) Mid-level-ontology.kif 9344-9344 Opium is a subclass of plant substance
(subclass PlantWicker PlantSubstance) Mid-level-ontology.kif 4599-4599 Plant wicker is a subclass of plant substance
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 9180-9180 Rubber is a subclass of plant substance
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 4707-4707 Tea plant aerial part is a subclass of plant substance
(subclass Wood PlantSubstance) Mid-level-ontology.kif 9162-9162 Wood is a subclass of plant substance
(subclass WoodProduct PlantSubstance) Economy.kif 5226-5226 Wood product is a subclass of plant substance
(termFormat ChineseLanguage PlantSubstance "植物物质") domainEnglishFormat.kif 46134-46134
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質") domainEnglishFormat.kif 46133-46133
(termFormat EnglishLanguage PlantSubstance "plant substance") domainEnglishFormat.kif 46132-46132

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


(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14827-14832


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