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 O argumento numero 1 de SeacoastFn e' uma instancia de Area Geografica
(domain SeacoastFn 2 SaltWaterArea) Geography.kif 6112-6112 O argumento numero 2 de SeacoastFn e' uma instancia de Area Aquatica salgada
(instance SeacoastFn BinaryFunction) Geography.kif 6110-6110 SeacoastFn e' uma instancia de Funcao Binaria
(range SeacoastFn Seacoast) Geography.kif 6113-6113 O contra-dominio de SeacoastFn e' uma instancia de 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