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 Le nombre 1 argument de SeacoastFn est une instance de secteur g�ographique
(domain SeacoastFn 2 SaltWaterArea) Geography.kif 6112-6112 Le nombre 2 argument de SeacoastFn est une instance de plan d'eau sal�
(instance SeacoastFn BinaryFunction) Geography.kif 6110-6110 SeacoastFn est une instance de fonction binaire
(range SeacoastFn Seacoast) Geography.kif 6113-6113 Le domaine de SeacoastFn est une instance 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