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


KB Term:  Term intersection
English Word: 

  Plant

 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
-------------------------


(subclass Plant Organism) Merge.kif 14711-14711 Plant is a subclass of organism
(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 14712-14714 Plant is a subclass of organism
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px_Fern.jpg") pictureList.kif 151-151 Plant is a subclass of organism
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg") pictureList.kif 875-875 Plant is a subclass of organism

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


(subclass FloweringPlant Plant) Merge.kif 14716-14716 Flowering plant is a subclass of plant
(subclass NonFloweringPlant Plant) Merge.kif 14720-14720 Non flowering plant is a subclass of plant
(rangeSubclass PlantFn Plant) Food.kif 3387-3387 The values returned by plant fn are subclasses of plant
(termFormat EnglishLanguage Plant "plant") english_format.kif 1141-1141 The values returned by plant fn are subclasses of plant

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14670-14670 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 9487-9487 The number 1 argument of plant in area is a subclass of plant
(domainSubclass vegetationType 2 Plant) Geography.kif 7788-7788 The number 2 argument of vegetation type is a subclass of plant
(domainSubclass vegetationTypePattern 2 Plant) Geography.kif 7817-7817 The number 2 argument of vegetation type pattern is a subclass of plant
(domain sheddingLeaves 1 Plant) Geography.kif 8062-8062 The number 1 argument of shedding leaves is an instance of plant

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))		 Mid-level-ontology.kif 9475-9483 If X is an instance of garden and plant Located in X., then X has the purpose there exists Y such that Y is an instance of recreation or exercise and Y is located at X
(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
        (and
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W FreshWater)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))		 Mid-level-ontology.kif 11052-11065 If X is an instance of plant and Y is a part of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of V (3) V is a subclass of keeping (4) W is an instance of freshwater (5) W is a patient of Z (6) Y is capable of doing V as a instrument (7) Y is an instance of plant leaf or Y is an instance of plant stem
(=>
    (instance ?F Plant)
    (capability Farming patient ?F))		 Mid-level-ontology.kif 22758-22760 If X is an instance of plant, then X is capable of doing farming as a patient
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))		 Geography.kif 7790-7798 If X is found in Y, X is a subclass of plant, and Y is an instance of geographic area, then there exists Z such that Z is an instance of X and Z is located at Y
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))		 Geography.kif 7800-7808 If X is found in Y, X is a subclass of plant, and Y is an instance of geographic area, then there doesn't exist Z such that Z is an instance of X and Z is located at Y

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


(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 15139-15144 If X is an instance of plant substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 15307-15312 If X is an instance of plant anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant
(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))		 Mid-level-ontology.kif 22281-22287 If X is an instance of herbivore, X is an agent of Y, Y is an instance of eating, and Z is a patient of Y, then Z is an instance of plant
(=>
    (and
        (instance ?A Omnivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (or
        (instance ?F Plant)
        (instance ?F Animal)
        (instance ?F Fungus)))		 Mid-level-ontology.kif 22295-22304 If X is an instance of omnivore, X is an agent of Y, Y is an instance of eating, and Z is a patient of Y, then At least one of the following holds: (1) Z is an instance of plant (2) Z is an instance of animal (3) Z is an instance of fungus
(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))		 Economy.kif 4546-4550 If X is a subclass of plant leaf and equal X and leafy green vegetable, then every X is initially part of a plant
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Economy.kif 5146-5155 If forage crop is an attribute of X, then X has the purpose there exists Y such that Y is an instance of agriculture, X is a result of Y, X is an instance of plant, and X is an instance of food for domestic animal
(=>
    (instance ?P PlantProduct)
    (exists (?M ?A ?B)
        (and
            (instance ?M Manufacture)
            (result ?M ?P)
            (patient ?M ?A)
            (or
                (instance ?A Plant)
                (and
                    (part ?B ?A)
                    (instance ?B AnatomicalStructure))))))		 Economy.kif 5540-5551 If X is an instance of plant product, then there exist Y, Z, W such that Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, Z is an instance of plant or W is a part of Z, and W is an instance of anatomical structure
(=>
    (instance ?X FoodFromPlant)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?X ?P)
            (subclass ?CLASS Plant))))		 Food.kif 299-306 If X is an instance of food from a plant, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))		 Geography.kif 8233-8235 If X is an instance of jungle, then X is vegetation type pattern plant for dense vegetation
(=>
    (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 44-66 If X is an instance of organization and agriculture forestry fishing and hunting is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Z is an agent of Y (4) there exist W, V (5) U such that Y is an instance of killing or Y is an instance of maintaining (6) W is a patient of Y (7) W is an instance of animal or W is an instance of plant (8) W is not an instance of human (9) U is a member of X (10) V is an instance of selling (11) U is an agent of V (12) W is a patient of V


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners