| appearance as argument number 1 |
|
| (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 4928-4930 | |
| (domain DatumFn 1 GeographicArea) | Geography.kif 4926-4926 | The number 1 argument of datum is an instance of geographic area |
| (instance DatumFn UnaryFunction) | Geography.kif 4925-4925 | Datum is an instance of unary function |
| (range DatumFn LengthMeasure) | Geography.kif 4927-4927 | The range of datum is an instance of length measure |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage DatumFn "%1 的 datum ") | domainEnglishFormat.kif 664-664 | |
| (format ChineseTraditionalLanguage DatumFn "%1 的 datum ") | domainEnglishFormat.kif 663-663 | |
| (format EnglishLanguage DatumFn "the datum of %1") | domainEnglishFormat.kif 662-662 | |
| (termFormat ChineseLanguage DatumFn "基准") | domainEnglishFormat.kif 18657-18657 | |
| (termFormat ChineseTraditionalLanguage DatumFn "基準") | domainEnglishFormat.kif 18656-18656 | |
| (termFormat EnglishLanguage DatumFn "datum") | domainEnglishFormat.kif 18655-18655 |
|
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