| appearance as argument number 1 |
|
| (documentation ElevationLowPointFn EnglishLanguage "(ElevationLowPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the lowest elevation.") | Geography.kif 1936-1938 | |
| (domain ElevationLowPointFn 1 GeographicArea) | Geography.kif 1933-1933 | Il numero 1 argomenti di ElevationLowPointFn è un istanza di AreaGeografica |
| (instance ElevationLowPointFn UnaryFunction) | Geography.kif 1932-1932 | ElevationLowPointFn è un' istanza di FunzioneUnaria |
| (range ElevationLowPointFn GeographicArea) | Geography.kif 1934-1934 | rango di ElevationLowPointFn è un'istanza di AreaGeografica |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage ElevationLowPointFn "%1 的 elevation 低点") | domainEnglishFormat.kif 899-899 | |
| (format ChineseTraditionalLanguage ElevationLowPointFn "%1 的 elevation 低點") | domainEnglishFormat.kif 898-898 | |
| (format EnglishLanguage ElevationLowPointFn "the elevation low point of %1") | domainEnglishFormat.kif 897-897 | |
| (termFormat ChineseLanguage ElevationLowPointFn "海拔低点") | domainEnglishFormat.kif 21822-21822 | |
| (termFormat ChineseTraditionalLanguage ElevationLowPointFn "海拔低點") | domainEnglishFormat.kif 21821-21821 | |
| (termFormat EnglishLanguage ElevationLowPointFn "elevation low point") | domainEnglishFormat.kif 21820-21820 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1940-1954 |
|
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1940-1954 |
|
| statement |
|
|
| (elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 4687-4689 | elevation ElevationLowPointFn SouthernOcean and -7235.0 Meter(s |
|
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