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 4757-4759
(domain DatumFn 1 GeographicArea) Geography.kif 4755-4755 The number 1 argument of datum is an instance of geographic area
(instance DatumFn UnaryFunction) Geography.kif 4754-4754 Datum is an instance of unary function
(range DatumFn LengthMeasure) Geography.kif 4756-4756 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 18633-18633
(termFormat ChineseTraditionalLanguage DatumFn "基準") domainEnglishFormat.kif 18632-18632
(termFormat EnglishLanguage DatumFn "datum") domainEnglishFormat.kif 18631-18631

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