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 13777-13778
(subclass PlantSubstance BodySubstance) Merge.kif 13776-13776

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


(subclass Alkaloid PlantSubstance) Mid-level-ontology.kif 8305-8305
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 8922-8922
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 8934-8934
(subclass Opium PlantSubstance) Mid-level-ontology.kif 8961-8961
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 8894-8894
(subclass Wood PlantSubstance) Mid-level-ontology.kif 8868-8868
(termFormat ChineseLanguage PlantSubstance "植物物质") domainEnglishFormat.kif 46054-46054
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質") domainEnglishFormat.kif 46053-46053
(termFormat EnglishLanguage PlantSubstance "plant substance") domainEnglishFormat.kif 46052-46052

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


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

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


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


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