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

Formal Language: 


KB Term:  Term intersection
English Word: 

  ShorelineFn

 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 6475-6477
(domain ShorelineFn 1 GeographicArea) Geography.kif 6471-6471 海岸线 的 1 数量 是 地理区域 的 instance
(domain ShorelineFn 2 WaterArea) Geography.kif 6472-6472 海岸线 的 2 数量 是 水域 的 instance
(instance ShorelineFn BinaryFunction) Geography.kif 6470-6470 海岸线 是 二元函数 的 instance
(range ShorelineFn LandArea) Geography.kif 6473-6473 海岸线 的 range 是 土地面积 的实例
(subrelation ShorelineFn BorderFn) Geography.kif 6479-6479 海岸线 是 边界 的 subrelation

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 4911-4914 南部海洋 和 南极洲 的 shoreline 的 length 是 17968.0 仪表 的一千倍


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