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 14962-14963
(subclass PlantSubstance BodySubstance) Merge.kif 14961-14961

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


(subclass Alkaloid PlantSubstance) Mid-level-ontology.kif 9867-9867
(subclass AloeveraGel PlantSubstance) Economy.kif 6634-6634
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 10566-10566
(subclass CocoaBean PlantSubstance) Economy.kif 5025-5025
(subclass FleshOrPulp PlantSubstance) Food.kif 2317-2317
(subclass Hay PlantSubstance) Mid-level-ontology.kif 22033-22033
(subclass Herb PlantSubstance) Food.kif 2160-2160
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 10578-10578
(subclass Opium PlantSubstance) Mid-level-ontology.kif 10691-10691
(subclass PeelOrRind PlantSubstance) Food.kif 2303-2303
(subclass PlantWicker PlantSubstance) Mid-level-ontology.kif 5063-5063
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 10527-10527
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 5045-5045
(subclass Wood PlantSubstance) Mid-level-ontology.kif 10386-10386
(subclass WoodProduct PlantSubstance) Economy.kif 5567-5567
(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 14965-14970


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