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 9849-9849
(subclass AloeveraGel PlantSubstance) Economy.kif 6634-6634
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 10548-10548
(subclass CocoaBean PlantSubstance) Economy.kif 5025-5025
(subclass FleshOrPulp PlantSubstance) Food.kif 2317-2317
(subclass Hay PlantSubstance) Mid-level-ontology.kif 22016-22016
(subclass Herb PlantSubstance) Food.kif 2160-2160
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 10560-10560
(subclass Opium PlantSubstance) Mid-level-ontology.kif 10673-10673
(subclass PeelOrRind PlantSubstance) Food.kif 2303-2303
(subclass PlantWicker PlantSubstance) Mid-level-ontology.kif 5044-5044
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 10509-10509
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 5045-5045
(subclass Wood PlantSubstance) Mid-level-ontology.kif 10368-10368
(subclass WoodProduct PlantSubstance) Economy.kif 5567-5567
(termFormat ChineseLanguage PlantSubstance "植物物质") domainEnglishFormat.kif 46136-46136
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質") domainEnglishFormat.kif 46135-46135
(termFormat EnglishLanguage PlantSubstance "plant substance") domainEnglishFormat.kif 46134-46134

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