Plant - Sigma Knowledge base Browser

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 14474-14476
(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 14473-14473	Plant is a subclass of organism

appearance as argument number 2

(rangeSubclass PlantFn Plant)	Food.kif 3353-3353	The values returned by plant fn are subclasses of plant
(subclass FloweringPlant Plant)	Merge.kif 14478-14478	Flowering plant is a subclass of plant
(subclass NonFloweringPlant Plant)	Merge.kif 14482-14482	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 6505-6505	The number 1 argument of shedding leaves is an instance of plant
(domainSubclass plantInArea 1 Plant)	Mid-level-ontology.kif 8939-8939	The number 1 argument of plant in area is a subclass of plant
(domainSubclass vegetationType 2 Plant)	Geography.kif 6257-6257	The number 2 argument of vegetation type is a subclass of plant
(domainSubclass vegetationTypePattern 2 Plant)	Geography.kif 6286-6286	The number 2 argument of vegetation type pattern is a subclass of plant
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 14431-14431	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 8927-8935	If a cultivated land area is an instance of garden and plant Located in the cultivated land area., then the cultivated land area has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the cultivated land area
(=> (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 10457-10470	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of freshwater and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))))	Geography.kif 6269-6277	If not a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there doesn't exist a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 6259-6267	If a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there exists a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
(=> (instance ?F Plant) (capability Farming patient ?F))	Mid-level-ontology.kif 21605-21607	If an object is an instance of plant, then the object is capable of doing farming as a patient

consequent

(=> (and (instance ?A Herbivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Plant))	Mid-level-ontology.kif 21155-21161	If an agent is an instance of herbivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of plant
(=> (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 a collection is an instance of organization and agriculture forestry fishing and hunting is an attribute of the collection, then there exist a process and an agent such that the agent is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the process is an instance of killing or the process is an instance of maintaining and the entity is a patient of the process and the entity is an instance of animal or the entity is an instance of plant and the entity is not an instance of human and the agent2 is a member of the collection and the process2 is an instance of selling and the agent2 is an agent of the process2 and the entity is a patient of the process2
(=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant))	Merge.kif 15085-15090	If an object is an instance of plant anatomical structure and another object is an instance of organism and the object is a part of the other object, then the other object is an instance of plant
(=> (and (instance ?SUBSTANCE PlantSubstance) (instance ?PLANT Organism) (part ?SUBSTANCE ?PLANT)) (instance ?PLANT Plant))	Merge.kif 14901-14906	If an object is an instance of plant substance and another object is an instance of organism and the object is a part of the other object, then the other object is an instance of plant
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant))	Economy.kif 4424-4428	If a kind of object is a subclass of plant leaf and a kind of object is equal to leafy green vegetable, then every the kind of object 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 5019-5028	If forage crop is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of agriculture and the object is a result of the entity and the object is an instance of plant and the object is an instance of food for domestic animal
(=> (instance ?FOREST Jungle) (vegetationTypePattern ?FOREST Plant DenseVegetation))	Geography.kif 6671-6673	If a geographic area is an instance of jungle, then the geographic area is vegetation type pattern plant for dense vegetation
(=> (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 5401-5412	If an entity is an instance of plant product, then there exist a process, an object and another object such that the process is an instance of manufacture and the entity is a result of the process and the object is a patient of the process and the object is an instance of plant or the other object is a part of the object and the other object 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 an object is an instance of food from plant, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant

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