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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShorelineFn
ShorelineFn

appearance as argument number 1
-------------------------


(documentation ShorelineFn EnglishLanguage "(ShorelineFn ?LAND ?WATER) denotes the Shoreline where the GeographicArea ?LAND borders the WaterArea ?WATER.") Geography.kif 6080-6082
(domain ShorelineFn 1 GeographicArea) Geography.kif 6076-6076
(domain ShorelineFn 2 WaterArea) Geography.kif 6077-6077
(instance ShorelineFn BinaryFunction) Geography.kif 6075-6075
(range ShorelineFn LandArea) Geography.kif 6078-6078
(subrelation ShorelineFn BorderFn) Geography.kif 6084-6084

appearance as argument number 2
-------------------------


(format ChineseLanguage ShorelineFn "%1 和 %2 的 shoreline ") domainEnglishFormat.kif 2275-2275
(format ChineseTraditionalLanguage ShorelineFn "%1 和 %2 的 shoreline ") domainEnglishFormat.kif 2274-2274
(format EnglishLanguage ShorelineFn "the shoreline of %1 and %2") domainEnglishFormat.kif 2273-2273
(termFormat ChineseLanguage ShorelineFn "海岸线") domainEnglishFormat.kif 52781-52781
(termFormat ChineseTraditionalLanguage ShorelineFn "海岸線") domainEnglishFormat.kif 52780-52780
(termFormat EnglishLanguage ShorelineFn "shoreline") domainEnglishFormat.kif 52779-52779

statement
-------------------------


(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968.0
        (KiloFn Meter)))
Geography.kif 4581-4584


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