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 生长，它们一般的特征是拥有叶绿素，并且缺乏运动的能力。")	Merge.kif 14448-14449
(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 14445-14447
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg")	pictureList.kif 876-876	"http://upload.wikimedia.org/wikipedia/commons/8/8d/ Fern.jpg" is a URL depicting plant
(externalImage Plant "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px-Fern.jpg")	pictureList.kif 151-151	"http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Fern.jpg/ 800px-Fern.jpg" is a URL depicting plant
(subclass Plant Organism)	Merge.kif 14444-14444	Plant is a subclass of organism

appearance as argument number 2

(subclass Alfalfa Plant)	Economy.kif 4162-4162	Alfalfa is a subclass of plant
(subclass Clover Plant)	Economy.kif 4166-4166	Clover is a subclass of plant
(subclass FloweringPlant Plant)	Merge.kif 14451-14451	Flowering plant is a subclass of plant
(subclass ForageCrop Plant)	Economy.kif 4171-4171	Forage crop is a subclass of plant
(subclass NonFloweringPlant Plant)	Merge.kif 14457-14457	Non flowering plant is a subclass of plant
(termFormat ChineseLanguage Plant "植物")	chinese_format.kif 965-965	"植物" is the printable form of plant in ChineseLanguage
(termFormat EnglishLanguage Plant "plant")	english_format.kif 961-961	"plant" is the printable form of plant in english language
(termFormat JapaneseLanguage Plant "植物")	english_format.kif 962-962	"植物" is the printable form of plant in japanese language

appearance as argument number 3

(domainSubclass vegetationType 2 Plant)	Geography.kif 5770-5770	The number 2 argument of vegetation type is a subclass of plant
(domainSubclass vegetationTypePattern 2 Plant)	Geography.kif 5798-5798	The number 2 argument of vegetation type pattern is a subclass of plant
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 14395-14395	Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

antecedent

(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))))	Geography.kif 5781-5789	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 5772-5780	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

consequent

(=> (and (instance ?A Herbivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Plant))	Mid-level-ontology.kif 17805-17811	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 15139-15144	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 14957-14962	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
(=> (instance ?FOREST Jungle) (vegetationTypePattern ?FOREST Plant DenseVegetation))	Geography.kif 5928-5930	If a geographic area is an instance of jungle, then the geographic area vegetation type pattern plant for dense vegetation

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