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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14928-14929
(subclass PlantSubstance BodySubstance) Merge.kif 14927-14927

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


(subclass Alkaloid PlantSubstance) Mid-level-ontology.kif 9869-9869
(subclass AloeveraGel PlantSubstance) Economy.kif 6627-6627
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 10568-10568
(subclass CocoaBean PlantSubstance) Economy.kif 5022-5022
(subclass FleshOrPulp PlantSubstance) Food.kif 2310-2310
(subclass Hay PlantSubstance) Mid-level-ontology.kif 22023-22023
(subclass Herb PlantSubstance) Food.kif 2153-2153
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 10580-10580
(subclass Opium PlantSubstance) Mid-level-ontology.kif 10693-10693
(subclass PeelOrRind PlantSubstance) Food.kif 2296-2296
(subclass PlantWicker PlantSubstance) Mid-level-ontology.kif 5070-5070
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 10529-10529
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 5042-5042
(subclass Wood PlantSubstance) Mid-level-ontology.kif 10388-10388
(subclass WoodProduct PlantSubstance) Economy.kif 5561-5561
(termFormat ChineseLanguage PlantSubstance "植物物质") domainEnglishFormat.kif 46165-46165
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質") domainEnglishFormat.kif 46164-46164
(termFormat EnglishLanguage PlantSubstance "plant substance") domainEnglishFormat.kif 46163-46163

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


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


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