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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Plant

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 14446-14448
(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 14445-14445 植物subclass では %n

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


(rangeSubclass PlantFn Plant) Food.kif 3353-3353 PlantFn が返す値は 植物subclasses では %n
(subclass FloweringPlant Plant) Merge.kif 14450-14450 顕花植物植物subclass では %n
(subclass NonFloweringPlant Plant) Merge.kif 14454-14454 隠花植物植物subclass では %n
(termFormat ChineseLanguage Plant "植物") chinese_format.kif 965-965
(termFormat EnglishLanguage Plant "plant") english_format.kif 1137-1137
(termFormat FrenchLanguage Plant "plante") french_format.kif 642-642
(termFormat Hindi Plant "vanaspati") terms-hindi.txt 173-173
(termFormat ItalianLanguage Plant "Pianta") terms-it.txt 176-176
(termFormat JapaneseLanguage Plant "植物") japanese_format.kif 2326-2326
(termFormat PortugueseLanguage Plant "Planta") portuguese_format.kif 594-594
(termFormat cb Plant "tanum") terms-cb.txt 178-178
(termFormat cz Plant "plant") terms-cz.txt 210-210
(termFormat ro Plant "plantã") relations-ro.kif 663-663
(termFormat tg Plant "pananim") terms-tg.txt 177-177

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


(domain sheddingLeaves 1 Plant) Geography.kif 6437-6437 sheddingLeaves の数値 1 引数は 植物instance では %n
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 8193-8193 plantInArea の数値 1 引数は 植物subclass では %n
(domainSubclass vegetationType 2 Plant) Geography.kif 6189-6189 vegetationType の数値 2 引数は 植物subclass では %n
(domainSubclass vegetationTypePattern 2 Plant) Geography.kif 6218-6218 vegetationTypePattern の数値 2 引数は 植物subclass では %n
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14403-14403 動物, 植物, 菌類, + 微生物exhaustively partitioned %n

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))
Mid-level-ontology.kif 8181-8189
(=>
    (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 9588-9601
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 6201-6209
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 6191-6199
(=>
    (instance ?F Plant)
    (capability Farming patient ?F))
Mid-level-ontology.kif 20543-20545

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


(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))
Mid-level-ontology.kif 20093-20099
(=>
    (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 15057-15062
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))
Merge.kif 14873-14878
(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))
Economy.kif 4214-4218
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))
Economy.kif 4809-4818
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6603-6605
(=>
    (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 5191-5202
(=>
    (instance ?X FoodFromPlant)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?X ?P)
            (subclass ?CLASS Plant))))
Food.kif 299-306


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 is open source software produced by Articulate Software and its partners