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 6172-6174
(domain ShorelineFn 1 GeographicArea) Geography.kif 6168-6168 Die Zahl 1 Argument von ShorelineFn ist ein fall von GeographicArea %n{nicht}
(domain ShorelineFn 2 WaterArea) Geography.kif 6169-6169 Die Zahl 2 Argument von ShorelineFn ist ein fall von WaterArea %n{nicht}
(instance ShorelineFn BinaryFunction) Geography.kif 6167-6167 ShorelineFn ist ein fall von BinaryFunction %n{nicht}
(range ShorelineFn LandArea) Geography.kif 6170-6170 bildbereich von ShorelineFn ist ein fall von LandArea {nicht}
(subrelation ShorelineFn BorderFn) Geography.kif 6176-6176 ShorelineFn ist eine teilrelation von BorderFn

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 52791-52791
(termFormat ChineseTraditionalLanguage ShorelineFn "海岸線") domainEnglishFormat.kif 52790-52790
(termFormat EnglishLanguage ShorelineFn "shoreline") domainEnglishFormat.kif 52789-52789

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


(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968.0
        (KiloFn Meter)))		 Geography.kif 4671-4674 Die laenge von ShorelineFn SouthernOcean and Antarctica ist 17968.0 1 tausend Meter(s) %n{nicht}


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