Basin - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Basin

Basin(basin)

basin, cirque, corrie, cwm, depression, natural_depression, saltpan, tidal_basin

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4244-4245
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3047-3047
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2940-2940
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3046-3046
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4243-4243	Basin is a subclass of land form

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10116-10116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10115-10115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10114-10114

antecedent

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

Geography.kif 4247-4257

If an object is an instance of basin and another object is an instance of land 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 the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object,
then the other real number is greater than the real number

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