Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DatumFn
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
-------------------------


(format EnglishLanguage DatumFn "the datum of %1") domainEnglishFormat.kif 662-662
(format ChineseTraditionalLanguage DatumFn "%1 的 datum ") domainEnglishFormat.kif 663-663
(format ChineseLanguage DatumFn "%1 的 datum ") domainEnglishFormat.kif 664-664
(termFormat EnglishLanguage DatumFn "datum") domainEnglishFormat.kif 18642-18642
(termFormat ChineseTraditionalLanguage DatumFn "基準") domainEnglishFormat.kif 18643-18643
(termFormat ChineseLanguage DatumFn "基准") domainEnglishFormat.kif 18644-18644


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners