TreeView Knowledge Base Browser - SteepTerrain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SteepTerrain

SteepTerrain(steep terrain)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1775-1777
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1773-1773	Steep terrain is an instance of terrain attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1788-1788	Mountainous terrain is a subattribute of steep terrain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55286-55286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55285-55285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55284-55284

antecedent

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

Geography.kif 1779-1785

If steep terrain is an attribute of an object,
then there exist a land area and a nonnegative real number such that the land area is a part of the object and the nonnegative real number is a slope gradient of the land area and the nonnegative real number is greater than 0.1

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4165-4169	If a self connected object is an instance of mesa and a side of the self connected object is another self connected object, then steep terrain is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4176-4180	If a self connected object is an instance of butte and a side of the self connected object is another self connected object, then steep terrain is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4032-4038	If an object is an instance of mountain, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4146-4152	If an object is an instance of plateau, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object and the object overlapsSpatially

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