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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExclusiveFishingZoneFn
ExclusiveFishingZoneFn

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


(documentation ExclusiveFishingZoneFn EnglishLanguage "(ExclusiveFishingZoneFn ?POLITY) denotes the ExclusiveFishingZone that is claimed by the GeopoliticalArea ?POLITY.") Geography.kif 1152-1155
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1149-1149 专属捕鱼区 的 1 数量 是 地缘政治区域instance
(instance ExclusiveFishingZoneFn UnaryFunction) Geography.kif 1148-1148 专属捕鱼区一元函数instance
(range ExclusiveFishingZoneFn ExclusiveFishingZone) Geography.kif 1150-1150 专属捕鱼区range专属捕鱼区 的实例

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


(format ChineseLanguage ExclusiveFishingZoneFn "%1 的 exclusive 钓鱼区") domainEnglishFormat.kif 927-927
(format ChineseTraditionalLanguage ExclusiveFishingZoneFn "%1 的 exclusive 釣魚區") domainEnglishFormat.kif 926-926
(format EnglishLanguage ExclusiveFishingZoneFn "the exclusive fishing zone of %1") domainEnglishFormat.kif 925-925
(termFormat ChineseLanguage ExclusiveFishingZoneFn "专属捕鱼区") domainEnglishFormat.kif 22678-22678
(termFormat ChineseTraditionalLanguage ExclusiveFishingZoneFn "專屬捕魚區") domainEnglishFormat.kif 22677-22677
(termFormat EnglishLanguage ExclusiveFishingZoneFn "exclusive fishing zone") domainEnglishFormat.kif 22676-22676

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))
Geography.kif 1157-1161

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))
Geography.kif 1157-1161


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