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 The number 1 argument of seacoast is an instance of geographic area
(domain SeacoastFn 2 SaltWaterArea) Geography.kif 6112-6112 The number 2 argument of seacoast is an instance of salt water area
(instance SeacoastFn BinaryFunction) Geography.kif 6110-6110 Seacoast is an instance of binary function
(range SeacoastFn Seacoast) Geography.kif 6113-6113 The range of seacoast is an instance of seacoast

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