Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Plant Organism) Merge.kif 14574-14574 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 14575-14577 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
-------------------------


(rangeSubclass PlantFn Plant) Food.kif 3362-3362 The values returned by plant fn are subclasses of plant
(subclass FloweringPlant Plant) Merge.kif 14579-14579 Flowering plant is a subclass of plant
(subclass NonFloweringPlant Plant) Merge.kif 14583-14583 Non flowering plant is a subclass of plant
(termFormat EnglishLanguage Plant "plant") english_format.kif 1137-1137 Non flowering plant is a subclass of plant

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


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

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


(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))		 Geography.kif 7811-7819 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 7821-7829 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
(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))		 Mid-level-ontology.kif 9361-9369 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 10929-10942 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 22795-22797 If X is an instance of plant, then X is capable of doing farming as a patient

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


(=>
    (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 5144-5153 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 5527-5538 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 8224-8226 If X is an instance of jungle, then X is vegetation type pattern plant for dense vegetation
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 15002-15007 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 15186-15191 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 22312-22318 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 22326-22335 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
        (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 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 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