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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DatumFn

Sigma KEE - DatumFn
DatumFn

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 4859-4861
(domain DatumFn 1 GeographicArea) Geography.kif 4857-4857 The number 1 argument of datum is an instance of geographic area
(instance DatumFn UnaryFunction) Geography.kif 4856-4856 Datum is an instance of unary function
(range DatumFn LengthMeasure) Geography.kif 4858-4858 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 18642-18642
(termFormat ChineseTraditionalLanguage DatumFn "基準") domainEnglishFormat.kif 18641-18641
(termFormat EnglishLanguage DatumFn "datum") domainEnglishFormat.kif 18640-18640


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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