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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 4837-4839
(domain DatumFn 1 GeographicArea) Geography.kif 4835-4835 The number 1 argument of datum is an instance of geographic area
(instance DatumFn UnaryFunction) Geography.kif 4834-4834 Datum is an instance of unary function
(range DatumFn LengthMeasure) Geography.kif 4836-4836 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