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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 6012-6014
(domain SeacoastFn 1 GeographicArea) Geography.kif 6008-6008 The number 1 argument of seacoast is an instance of geographic area
(domain SeacoastFn 2 SaltWaterArea) Geography.kif 6009-6009 The number 2 argument of seacoast is an instance of salt water area
(instance SeacoastFn BinaryFunction) Geography.kif 6007-6007 Seacoast is an instance of binary function
(range SeacoastFn Seacoast) Geography.kif 6010-6010 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 51640-51640
(termFormat ChineseTraditionalLanguage SeacoastFn "海岸") domainEnglishFormat.kif 51639-51639
(termFormat EnglishLanguage SeacoastFn "seacoast") domainEnglishFormat.kif 51638-51638

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