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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4768-4770
(domain DatumFn 1 GeographicArea) Geography.kif 4766-4766 The number 1 argument of datum is an instance of geographic area
(instance DatumFn UnaryFunction) Geography.kif 4765-4765 Datum is an instance of unary function
(range DatumFn LengthMeasure) Geography.kif 4767-4767 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 18632-18632
(termFormat ChineseTraditionalLanguage DatumFn "基準") domainEnglishFormat.kif 18631-18631
(termFormat EnglishLanguage DatumFn "datum") domainEnglishFormat.kif 18630-18630


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