UndergroundArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UndergroundArea

UndergroundArea(underground area)

more pictures...

belowground, subsurface, subterranean, subterraneous, underground

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4058-4058
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12091-12091
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10315-10315
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12087-12087
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12090-12090
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12093-12093
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12088-12088
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12089-12089
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4057-4057	Underground area is a subclass of geographic area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59903-59903
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59902-59902
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59901-59901

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4068-4079	If an object is an instance of underground area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and a self connected object is a surface of planet earth and another object is a part of the self connected object and the object is below to the other object and the other object is another real number the unit of measure(s) above the ground, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4060-4066	If an object is an instance of underground area, then there exist another object and a self connected object such that the self connected object is a surface of planet earth and the other object is a part of the self connected object and the object is below to the other object

consequent

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

Transportation.kif 1777-1781

If a physical is an instance of tunnel and the physical is located at an object,
then the object is an instance of underground area

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