| appearance as argument number 1 |
|
| (documentation earthAltitude EnglishLanguage "The altitude of an object above the sea level of PlanetEarth") | Geography.kif 2715-2716 | |
| (domain earthAltitude 1 Object) | Geography.kif 2718-2718 | domain earthAltitude, 1 and Object |
| (domain earthAltitude 2 PhysicalQuantity) | Geography.kif 2719-2719 | domain earthAltitude, 2 and PhysicalQuantity |
| (instance earthAltitude BinaryPredicate) | Geography.kif 2717-2717 | instance earthAltitude and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage earthAltitude "%1 是 %2 above 地表") | domainEnglishFormat.kif 3291-3291 | |
| (format ChineseTraditionalLanguage earthAltitude "%1 是 %2 above 地表") | domainEnglishFormat.kif 3290-3290 | |
| (format EnglishLanguage earthAltitude "%1 is %2 above the ground") | domainEnglishFormat.kif 3289-3289 |
| antecedent |
|
|
| (<=> (earthAltitude ?OBJ ?ALT) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth))) |
Geography.kif 2721-2725 | earthAltitude Object and LengthMeasure altitude Object, SelfConnectedObject and LengthMeasure surface SelfConnectedObject and PlanetEarth |
| (=> (and (instance ?basin Basin) (instance ?area LandArea) (earthAltitude ?basin ?height1) (earthAltitude ?area ?height2) (orientation ?basin ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 4029-4036 | |
| (=> (and (instance ?place UndergroundArea) (earthAltitude ?place ?alt1) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area ?alt2)) (greaterThan ?alt2 ?alt1)) |
Geography.kif 3794-3802 | |
| (=> (and (instance ?valley Valley) (instance ?area LandArea) (earthAltitude ?valley ?height1) (earthAltitude ?area ?height2) (orientation ?valley ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 4016-4023 |
| consequent |
|
|
| (=> (instance ?incline SlopedArea) (exists (?top ?bottom ?height1 ?height2) (and (top ?top ?incline) (bottom ?bottom ?incline) (earthAltitude ?top ?height1) (earthAltitude ?bottom ?height2) (successorAttributeClosure ?height2 ?height1) (greaterThan ?height1 ?height2)))) |
Geography.kif 3899-3908 |
|
| appearance as argument number 0 |
|
|
| (earthAltitude OzoneShield (MeasureFn 25 Mile)) |
Geography.kif 2732-2732 | earthAltitude OzoneShield and MeasureFn 25 and Mile |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners