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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TerritorialSeaFn
TerritorialSeaFn

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


(documentation TerritorialSeaFn EnglishLanguage "(TerritorialSeaFn ?POLITY) denotes the TerritorialSea that is claimed by the GeopoliticalArea ?POLITY.") Geography.kif 1225-1226
(domain TerritorialSeaFn 1 GeopoliticalArea) Geography.kif 1222-1222 领海 的 1 数量 是 地缘政治区域instance
(instance TerritorialSeaFn UnaryFunction) Geography.kif 1221-1221 领海一元函数instance
(range TerritorialSeaFn TerritorialSea) Geography.kif 1223-1223 领海range领海 的实例

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


(format ChineseLanguage TerritorialSeaFn "%1 的 territorial 海洋") domainEnglishFormat.kif 2467-2467
(format ChineseTraditionalLanguage TerritorialSeaFn "%1 的 territorial 海洋") domainEnglishFormat.kif 2466-2466
(format EnglishLanguage TerritorialSeaFn "the territorial sea of %1") domainEnglishFormat.kif 2465-2465
(termFormat ChineseLanguage TerritorialSeaFn "领海") domainEnglishFormat.kif 57602-57602
(termFormat ChineseTraditionalLanguage TerritorialSeaFn "領海") domainEnglishFormat.kif 57601-57601
(termFormat EnglishLanguage TerritorialSeaFn "territorial sea") domainEnglishFormat.kif 57600-57600

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))
Geography.kif 1228-1232

consequent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))
Geography.kif 1228-1232


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