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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plant
Plant(plant)
Christmas_tree, Linum, Mary_Jane, Plantae, Pteropsida, Tracheophyta, acarpellous, acarpelous, acaulescent, achlamydeous, acyclic, adventive, aerophyte, aggregate, air_plant, alpestrine, alpine, amaranthine, amentaceous, amentiferous, amphitropous, anatropous, annual, aphyllous, apocarpous, aquatic, aquatic_plant, autophyte, autophytic_plant, autotroph, autotrophic_organism, basal, biennial, bifid, bignoniaceous, bilabiate, bladed, blanched, bog_plant, botany, boutonniere, brachiate, braky, brambly, branched, branching, branchless, brier, brier_patch, brierpatch...

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


(documentation Plant ChineseLanguage "这是有纤维素细胞壁的 Organism,它们靠制造 Substance 生长,它们一般的特征是拥有叶绿素,并且缺乏运动的能力。") Merge.kif 18820-18821
(documentation Plant EnglishLanguage "An Organism having cellulose cell walls, growing by synthesis of Substances, generally distinguished by the presence of chlorophyll, and lacking the power of locomotion.") Merge.kif 18817-18819
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg") pictureList.kif 876-876 "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg" is a URL depicting plant
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px-Fern.jpg") pictureList.kif 151-151 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px-Fern.jpg" is a URL depicting plant
(subclass Plant Organism) Merge.kif 18816-18816 Plant is a subclass of organism

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


(subclass Alfalfa Plant) Economy.kif 4162-4162 Alfalfa is a subclass of plant
(subclass Clover Plant) Economy.kif 4166-4166 Clover is a subclass of plant
(subclass FloweringPlant Plant) Merge.kif 18823-18823 Flowering plant is a subclass of plant
(subclass ForageCrop Plant) Economy.kif 4171-4171 Forage crop is a subclass of plant
(subclass NonFloweringPlant Plant) Merge.kif 18829-18829 Non flowering plant is a subclass of plant
(termFormat ChineseLanguage Plant "植物") chinese_format.kif 965-965 "植物" is the printable form of plant in ChineseLanguage
(termFormat EnglishLanguage Plant "plant") english_format.kif 1593-1593 "plant" is the printable form of plant in english language
(termFormat JapaneseLanguage Plant "植物") english_format.kif 1594-1594 "植物" is the printable form of plant in japanese language

appearance as argument number 3
-------------------------


(domainSubclass vegetationType 2 Plant) Geography.kif 5770-5770 The number 2 argument of vegetation type is a subclass of plant
(domainSubclass vegetationTypePattern 2 Plant) Geography.kif 5798-5798 The number 2 argument of vegetation type pattern is a subclass of plant
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 18767-18767 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

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


(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 5781-5789
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 5772-5780

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


(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))
Mid-level-ontology.kif 17806-17812
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AgricultureForestryFishingAndHunting))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?EV2 ?MEM2)
                (and
                    (or
                        (instance ?EV Killing)
                        (instance ?EV Maintaining))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Animal)
                        (instance ?THING Plant))
                    (not
                        (instance ?THING Human))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 50-72
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 19511-19516
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 19329-19334
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 5928-5930


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners