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 生长,它们一般的特征是拥有叶绿素,并且缺乏运动的能力。") chinese_format.kif 3379-3380
(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 14259-14261
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg") pictureList.kif 876-876
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px-Fern.jpg") pictureList.kif 151-151
(subclass Plant Organism) Merge.kif 14258-14258 Plant is a subclass of organism

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


(subclass Alfalfa Plant) Economy.kif 4321-4321 Alfalfa is a subclass of plant
(subclass Clover Plant) Economy.kif 4325-4325 Clover is a subclass of plant
(subclass FloweringPlant Plant) Merge.kif 14263-14263 Flowering plant is a subclass of plant
(subclass ForageCrop Plant) Economy.kif 4330-4330 Forage crop is a subclass of plant
(subclass NonFloweringPlant Plant) Merge.kif 14267-14267 Non flowering plant is a subclass of plant
(termFormat ChineseLanguage Plant "植物") chinese_format.kif 965-965
(termFormat EnglishLanguage Plant "plant") english_format.kif 1137-1137

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


(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 8126-8126 The number 1 argument of plant in area is a subclass of plant
(domainSubclass productOfPlant 2 Plant) Mid-level-ontology.kif 21547-21547 The number 2 argument of product of plant is a subclass of plant
(domainSubclass vegetationType 2 Plant) Geography.kif 6097-6097 The number 2 argument of vegetation type is a subclass of plant
(domainSubclass vegetationTypePattern 2 Plant) Geography.kif 6126-6126 The number 2 argument of vegetation type pattern is a subclass of plant
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14216-14216 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))
Mid-level-ontology.kif 8114-8122
(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
        (and
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W Water)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))
Mid-level-ontology.kif 9518-9531
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 6109-6117
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 6099-6107
(=>
    (instance ?F Plant)
    (capability Farming patient ?F))
Mid-level-ontology.kif 20298-20300

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


(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))
Mid-level-ontology.kif 19832-19838
(=>
    (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 14867-14872
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14683-14688
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6303-6305


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