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 5753-5755
(domain ShorelineFn 1 GeographicArea) Geography.kif 5749-5749 The number 1 argument of shoreline is an instance of geographic area
(domain ShorelineFn 2 WaterArea) Geography.kif 5750-5750 The number 2 argument of shoreline is an instance of water area
(instance ShorelineFn BinaryFunction) Geography.kif 5748-5748 Shoreline is an instance of binary function
(range ShorelineFn LandArea) Geography.kif 5751-5751 The range of shoreline is an instance of land area
(subrelation ShorelineFn BorderFn) Geography.kif 5757-5757 Shoreline is a subrelation of border

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


(format ChineseLanguage ShorelineFn "%1 和 %2 的 shoreline ") domainEnglishFormat.kif 2271-2271
(format ChineseTraditionalLanguage ShorelineFn "%1 和 %2 的 shoreline ") domainEnglishFormat.kif 2270-2270
(format EnglishLanguage ShorelineFn "the shoreline of %1 and %2") domainEnglishFormat.kif 2269-2269
(termFormat ChineseLanguage ShorelineFn "海岸线") domainEnglishFormat.kif 52729-52729 "海岸线" is the printable form of shoreline in ChineseLanguage
(termFormat ChineseTraditionalLanguage ShorelineFn "海岸線") domainEnglishFormat.kif 52728-52728 "海岸線" is the printable form of shoreline in ChineseTraditionalLanguage
(termFormat EnglishLanguage ShorelineFn "shoreline") domainEnglishFormat.kif 52727-52727 "shoreline" is the printable form of shoreline in english language

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


(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968
        (KiloFn Meter)))
Geography.kif 4380-4380 The length of the shoreline of southern ocean and antarctica is 17968 1 thousand meters(s)


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners