TreeView Knowledge Base Browser - vegetationType

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - vegetationType

vegetationType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6185-6186
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6188-6188	The number 1 argument of vegetation type is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6189-6189	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 6183-6183	vegetation type is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6182-6182	vegetation type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4918-4918
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4917-4917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4916-4916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61334-61334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61333-61333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61332-61332

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	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 6191-6199	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.	Geography.kif 6633-6635	If a geographic area is an instance of desert, then not botanical tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6566-6568	If a geographic area is an instance of boreal forest, then pine tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6693-6696	If a geographic area is an instance of savanna, then not botanical tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6703-6705	If a geographic area is an instance of steppe, then not botanical tree is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6735-6737	If a geographic area is an instance of tundra, then lichen is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6739-6741	If a geographic area is an instance of tundra, then moss is found in the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6221-6223	If a geographic area is vegetation type pattern a kind of plant for an attribute, then a kind of plant is found in the geographic area

statement

No TPTP formula. May not be expressible in strict first order.

Geography.kif 3585-3585

Not botanical tree is found in arctic region

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