![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DatumFn |
| appearance as argument number 1 |
|
|
| (instance DatumFn UnaryFunction) | Geography.kif 6412-6412 | Datum is an instance of unary function |
| (domain DatumFn 1 GeographicArea) | Geography.kif 6413-6413 | The number 1 argument of datum is an instance of geographic area |
| (range DatumFn LengthMeasure) | Geography.kif 6414-6414 | The range of datum is an instance of length measure |
| (documentation DatumFn EnglishLanguage "(DatumFn ?place) denotes the point of MLLW (Mean Lower Low Water) used as the initial data point for a coastal or WaterArea given on a nautical chart. High and low tides are calculated with reference to this point.") | Geography.kif 6415-6417 | The range of datum is an instance of length measure |
| appearance as argument number 2 |
|
|