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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeacoastFn

Sigma KEE - SeacoastFn
SeacoastFn

appearance as argument number 1
-------------------------


(documentation SeacoastFn EnglishLanguage "(SeacoastFn ?LAND ?SEA) denotes the Seacoast where the GeographicArea ?LAND borders the SaltWaterArea ?SEA.") Geography.kif 6115-6117
(domain SeacoastFn 1 GeographicArea) Geography.kif 6111-6111
(domain SeacoastFn 2 SaltWaterArea) Geography.kif 6112-6112
(instance SeacoastFn BinaryFunction) Geography.kif 6110-6110
(range SeacoastFn Seacoast) Geography.kif 6113-6113

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


(format ChineseLanguage SeacoastFn "%1 的 seacoast ") domainEnglishFormat.kif 2199-2199
(format ChineseTraditionalLanguage SeacoastFn "%1 的 seacoast ") domainEnglishFormat.kif 2198-2198
(format EnglishLanguage SeacoastFn "the seacoast of %1") domainEnglishFormat.kif 2197-2197
(termFormat ChineseLanguage SeacoastFn "海岸") domainEnglishFormat.kif 51657-51657
(termFormat ChineseTraditionalLanguage SeacoastFn "海岸") domainEnglishFormat.kif 51656-51656
(termFormat EnglishLanguage SeacoastFn "seacoast") domainEnglishFormat.kif 51655-51655


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