TreeView Knowledge Base Browser - Plant

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3379-3380
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14139-14141
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 876-876
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 151-151
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14138-14138	Plant is a subclass of organism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4315-4315	Alfalfa is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4319-4319	Clover is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14143-14143	Flowering plant is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4324-4324	Forage crop is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14147-14147	Non flowering plant is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 965-965
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1137-1137

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21084-21084	The number 2 argument of productOfPlant is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6086-6086	The number 2 argument of vegetation type is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6115-6115	The number 2 argument of vegetation type pattern is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14096-14096	Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9162-9174	If an object is an instance of plant and another object is a part of the object, then there exist a kind of process and an entity such that a kind of process is an instance of keeping and the entity is an instance of water and the entity is a patient of the kind of process and the other object is capable of doing the kind of process as a instrument and the other object is an instance of PlantLeaf or the other object is an instance of PlantStem
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6098-6106	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6088-6096	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19397-19403	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14747-14752	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14563-14568	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6291-6293	If a geographic area is an instance of jungle, then the geographic area is vegetation type pattern plant for dense vegetation

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