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 6305-6307
(domain ShorelineFn 1 GeographicArea) Geography.kif 6301-6301 ShorelineFn の数値 1 引数は 地理的地域instance では
(domain ShorelineFn 2 WaterArea) Geography.kif 6302-6302 ShorelineFn の数値 2 引数は 水域instance では
(instance ShorelineFn BinaryFunction) Geography.kif 6300-6300 ShorelineFn2変数関数instance では
(range ShorelineFn LandArea) Geography.kif 6303-6303 ShorelineFnrange土地面積 のインスタンス では
(subrelation ShorelineFn BorderFn) Geography.kif 6309-6309 ShorelineFnBorderFnsubrelation では

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


(format ChineseLanguage ShorelineFn "%1 和 %2 的 shoreline ") domainEnglishFormat.kif 2279-2279
(format ChineseTraditionalLanguage ShorelineFn "%1 和 %2 的 shoreline ") domainEnglishFormat.kif 2278-2278
(format EnglishLanguage ShorelineFn "the shoreline of %1 and %2") domainEnglishFormat.kif 2277-2277
(termFormat ChineseLanguage ShorelineFn "海岸线") domainEnglishFormat.kif 52795-52795
(termFormat ChineseTraditionalLanguage ShorelineFn "海岸線") domainEnglishFormat.kif 52794-52794
(termFormat EnglishLanguage ShorelineFn "shoreline") domainEnglishFormat.kif 52793-52793

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


(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968.0
        (KiloFn Meter)))
Geography.kif 4741-4744 ShorelineFn SouthernOcean and Antarcticalength は 17968.0 の 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 3.0 is open source software produced by Articulate Software and its partners