Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PlantSubstance
PlantSubstance

appearance as argument number 1
-------------------------


(subclass PlantSubstance BodySubstance) Merge.kif 15135-15135
(documentation PlantSubstance EnglishLanguage "BodySubstances that are produced exclusively by Plants.") Merge.kif 15136-15137

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


(subclass PlantWicker PlantSubstance) Mid-level-ontology.kif 5210-5210
(subclass Alkaloid PlantSubstance) Mid-level-ontology.kif 10003-10003
(subclass Wood PlantSubstance) Mid-level-ontology.kif 10540-10540
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 10677-10677
(subclass Cellulose PlantSubstance) Mid-level-ontology.kif 10716-10716
(subclass Nectar PlantSubstance) Mid-level-ontology.kif 10728-10728
(subclass Hay PlantSubstance) Mid-level-ontology.kif 22638-22638
(subclass CocoaBean PlantSubstance) Economy.kif 5020-5020
(subclass TeaPlantAerialPart PlantSubstance) Economy.kif 5040-5040
(subclass WoodProduct PlantSubstance) Economy.kif 5575-5575
(subclass AloeveraGel PlantSubstance) Economy.kif 6659-6659
(subclass Herb PlantSubstance) Food.kif 2173-2173
(subclass PeelOrRind PlantSubstance) Food.kif 2316-2316
(subclass FleshOrPulp PlantSubstance) Food.kif 2330-2330
(subclass Opium PlantSubstance) Medicine.kif 6444-6444
(termFormat EnglishLanguage PlantSubstance "plant substance") domainEnglishFormat.kif 46127-46127
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質") domainEnglishFormat.kif 46128-46128
(termFormat ChineseLanguage PlantSubstance "植物物质") domainEnglishFormat.kif 46129-46129

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners