MountainousTerrain - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MountainousTerrain

MountainousTerrain(mountainous terrain)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1790-1791
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8604-8604
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9445-9445
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9446-9446
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9447-9447
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9448-9448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9449-9449
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9450-9450
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1787-1787	Mountainous terrain is an instance of terrain attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1788-1788	Mountainous terrain is a subattribute of steep terrain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38979-38979
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38978-38978
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38977-38977

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4206-4216	If a self connected object is an instance of piedmont and mountainous terrain is an attribute of another self connected object and the self connected object is adjacent to the other self connected object and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1808-1813	If mountainous terrain is an attribute of an object, then there exists a physical such that the physical is an instance of mountain and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1801-1806	If mountainous terrain is an attribute of an object, then there exists another object such that the other object is an instance of mountain and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1793-1795	If mountainous terrain is an attribute of an object, then the object is an instance of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1797-1799	If mountainous terrain is an attribute of an object, then the object is an instance of upland area

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1815-1817	If an object is an instance of mountain range, then mountainous terrain is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4199-4204	If an object is an instance of piedmont, then there exists another object such that the other object is an instance of mountainous terrain and the object is adjacent to the other object

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