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 14538-14540
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg") pictureList.kif 875-875
(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 14537-14537 Plant is a subclass of organism

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


(rangeSubclass PlantFn Plant) Food.kif 3360-3360 The values returned by plant fn are subclasses of plant
(subclass FloweringPlant Plant) Merge.kif 14542-14542 Flowering plant is a subclass of plant
(subclass NonFloweringPlant Plant) Merge.kif 14546-14546 Non flowering plant is a subclass of plant
(termFormat ChineseLanguage Plant "植物") chinese_format.kif 965-965 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
(termFormat FrenchLanguage Plant "plante") french_format.kif 642-642 Non flowering plant is a subclass of plant
(termFormat Hindi Plant "vanaspati") terms-hindi.txt 173-173 Non flowering plant is a subclass of plant
(termFormat ItalianLanguage Plant "Pianta") terms-it.txt 176-176 Non flowering plant is a subclass of plant
(termFormat JapaneseLanguage Plant "植物") japanese_format.kif 2326-2326 Non flowering plant is a subclass of plant
(termFormat PortugueseLanguage Plant "Planta") portuguese_format.kif 594-594 Non flowering plant is a subclass of plant
(termFormat cb Plant "tanum") terms-cb.txt 178-178 Non flowering plant is a subclass of plant
(termFormat cz Plant "plant") terms-cz.txt 210-210 Non flowering plant is a subclass of plant
(termFormat de Plant "Pflanze") terms-de.txt 469-469 Non flowering plant is a subclass of plant
(termFormat ro Plant "plantã") relations-ro.kif 663-663 Non flowering plant is a subclass of plant
(termFormat tg Plant "pananim") terms-tg.txt 177-177 Non flowering plant is a subclass of plant

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


(domain sheddingLeaves 1 Plant) Geography.kif 6507-6507 The number 1 argument of shedding leaves is an instance of plant
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 9352-9352 The number 1 argument of plant in area is a subclass of plant
(domainSubclass vegetationType 2 Plant) Geography.kif 6258-6258 The number 2 argument of vegetation type is a subclass of plant
(domainSubclass vegetationTypePattern 2 Plant) Geography.kif 6287-6287 The number 2 argument of vegetation type pattern is a subclass of plant
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14495-14495 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 9340-9348
(=>
    (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 10908-10921
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 6270-6278
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 6260-6268
(=>
    (instance ?F Plant)
    (capability Farming patient ?F))
Mid-level-ontology.kif 22150-22152

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


(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))
Mid-level-ontology.kif 21670-21676
(=>
    (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 21684-21693
(=>
    (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 15149-15154
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14965-14970
(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))
Economy.kif 4551-4555
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))
Economy.kif 5149-5158
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6673-6675
(=>
    (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 5532-5543
(=>
    (instance ?X FoodFromPlant)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?X ?P)
            (subclass ?CLASS Plant))))
Food.kif 299-306


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