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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Plant
Plant(plante)

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 14553-14555
(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 14552-14552 Plante est une sous-classe de organisme

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


(rangeSubclass PlantFn Plant) Food.kif 3360-3360 Les valeurs retourn�es par PlantFn sont des sous-classes de plante
(subclass FloweringPlant Plant) Merge.kif 14557-14557 Plant florissante est une sous-classe de plante
(subclass NonFloweringPlant Plant) Merge.kif 14561-14561 Plante non florissante est une sous-classe de plante
(termFormat ChineseLanguage Plant "植物") chinese_format.kif 965-965 Plante non florissante est une sous-classe de plante
(termFormat EnglishLanguage Plant "plant") english_format.kif 1137-1137 Plante non florissante est une sous-classe de plante
(termFormat FrenchLanguage Plant "plante") french_format.kif 642-642 Plante non florissante est une sous-classe de plante
(termFormat Hindi Plant "vanaspati") terms-hindi.txt 173-173 Plante non florissante est une sous-classe de plante
(termFormat ItalianLanguage Plant "Pianta") terms-it.txt 176-176 Plante non florissante est une sous-classe de plante
(termFormat JapaneseLanguage Plant "植物") japanese_format.kif 2326-2326 Plante non florissante est une sous-classe de plante
(termFormat PortugueseLanguage Plant "Planta") portuguese_format.kif 594-594 Plante non florissante est une sous-classe de plante
(termFormat cb Plant "tanum") terms-cb.txt 178-178 Plante non florissante est une sous-classe de plante
(termFormat cz Plant "plant") terms-cz.txt 210-210 Plante non florissante est une sous-classe de plante
(termFormat de Plant "Pflanze") terms-de.txt 469-469 Plante non florissante est une sous-classe de plante
(termFormat ro Plant "plantã") relations-ro.kif 663-663 Plante non florissante est une sous-classe de plante
(termFormat tg Plant "pananim") terms-tg.txt 177-177 Plante non florissante est une sous-classe de plante

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


(domain sheddingLeaves 1 Plant) Geography.kif 7259-7259 Le nombre 1 argument de sheddingLeaves est une instance de plante
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 9328-9328 Le nombre 1 argument de plantInArea est une sous-classe de plante
(domainSubclass vegetationType 2 Plant) Geography.kif 7010-7010 Le nombre 2 argument de vegetationType est une sous-classe de plante
(domainSubclass vegetationTypePattern 2 Plant) Geography.kif 7039-7039 Le nombre 2 argument de vegetationTypePattern est une sous-classe de plante
(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14510-14510 Organisme est compl�tement d�compos� en animal, plante, champignon, + microorganisme

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))		 Mid-level-ontology.kif 9316-9324
(=>
    (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 10884-10897
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))		 Geography.kif 7022-7030
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))		 Geography.kif 7012-7020
(=>
    (instance ?F Plant)
    (capability Farming patient ?F))		 Mid-level-ontology.kif 22121-22123

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


(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))		 Mid-level-ontology.kif 21641-21647
(=>
    (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 21655-21664
(=>
    (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 15164-15169
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 14980-14985
(=>
    (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 7425-7427
(=>
    (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