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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantSubstance

Sigma KEE - PlantSubstance
PlantSubstance

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

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


(subclass Alkaloid PlantSubstance) Mid-level-ontology.kif 8643-8643
(subclass AloeveraGel PlantSubstance) Economy.kif 6236-6236
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 9219-9219
(subclass CocoaBean PlantSubstance) Economy.kif 4687-4687
(subclass FleshOrPulp PlantSubstance) Food.kif 2310-2310
(subclass Hay PlantSubstance) Mid-level-ontology.kif 20399-20399
(subclass Herb PlantSubstance) Food.kif 2153-2153
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 9231-9231
(subclass Opium PlantSubstance) Mid-level-ontology.kif 9344-9344
(subclass PeelOrRind PlantSubstance) Food.kif 2296-2296
(subclass PlantWicker PlantSubstance) Mid-level-ontology.kif 4599-4599
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 9180-9180
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 4707-4707
(subclass Wood PlantSubstance) Mid-level-ontology.kif 9162-9162
(subclass WoodProduct PlantSubstance) Economy.kif 5226-5226
(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 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