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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plant
Plant(植物)

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 13338-13340
(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 13337-13337 植物生物subclass

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


(subclass Alfalfa Plant) Economy.kif 4162-4162 苜蓿植物subclass
(subclass Clover Plant) Economy.kif 4166-4166 植物subclass
(subclass FloweringPlant Plant) Merge.kif 13342-13342 开花植物植物subclass
(subclass ForageCrop Plant) Economy.kif 4171-4171 饲料作物植物subclass
(subclass NonFloweringPlant Plant) Merge.kif 13346-13346 无花植物植物subclass
(termFormat ChineseLanguage Plant "植物") chinese_format.kif 965-965
(termFormat EnglishLanguage Plant "plant") english_format.kif 1142-1142

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


(domainSubclass vegetationType 2 Plant) Geography.kif 5785-5785 植被类型 的 2 数量 是 植物subclass
(domainSubclass vegetationTypePattern 2 Plant) Geography.kif 5813-5813 植被类型模式 的 2 数量 是 植物subclass
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 13295-13295 生物 详尽无遗地 partition动物, 植物, 菌类, 和 微生物

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


(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 5796-5804
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 5787-5795

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


(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))
Mid-level-ontology.kif 17807-17813
(=>
    (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 13911-13916
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 13753-13758
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 5944-5946


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