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 14560-14561
(subclass PlantSubstance BodySubstance) Merge.kif 14559-14559 Plant substance is a subclass of body substance

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


(subclass Alkaloid PlantSubstance) Mid-level-ontology.kif 8250-8250 Alkaloid is a subclass of plant substance
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 8834-8834 Cellulose is a subclass of plant substance
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 8846-8846 Nectar is a subclass of plant substance
(subclass Opium PlantSubstance) Mid-level-ontology.kif 8959-8959 Opium is a subclass of plant substance
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 8795-8795 Rubber is a subclass of plant substance
(subclass Wood PlantSubstance) Mid-level-ontology.kif 8768-8768 Wood is a subclass of plant substance
(termFormat ChineseLanguage PlantSubstance "植物物质") domainEnglishFormat.kif 46117-46117
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質") domainEnglishFormat.kif 46116-46116
(termFormat EnglishLanguage PlantSubstance "plant substance") domainEnglishFormat.kif 46115-46115

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


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

consequent
-------------------------


(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?C))
    (or
        (instance ?C PlantAnatomicalStructure)
        (instance ?C PlantSubstance)))
Mid-level-ontology.kif 17495-17501


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