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 5768-5770
(domain ShorelineFn 1 GeographicArea) Geography.kif 5764-5764 domain ShorelineFn, 1 and GeographicArea
(domain ShorelineFn 2 WaterArea) Geography.kif 5765-5765 domain ShorelineFn, 2 and WaterArea
(instance ShorelineFn BinaryFunction) Geography.kif 5763-5763 instance ShorelineFn and BinaryFunction
(range ShorelineFn LandArea) Geography.kif 5766-5766 range ShorelineFn and LandArea
(subrelation ShorelineFn BorderFn) Geography.kif 5772-5772 subrelation ShorelineFn and BorderFn

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 52709-52709
(termFormat ChineseTraditionalLanguage ShorelineFn "海岸線") domainEnglishFormat.kif 52708-52708
(termFormat EnglishLanguage ShorelineFn "shoreline") domainEnglishFormat.kif 52707-52707

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


(length
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968
        (KiloFn Meter)))
Geography.kif 4393-4393 length ShorelineFn SouthernOcean and Antarctica and MeasureFn 17968 and KiloFn Meter


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