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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExclusiveFishingZoneFn

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 ExclusiveFishingZoneFn の数値 1 引数は 地政学的地域instance では %n
(instance ExclusiveFishingZoneFn UnaryFunction) Geography.kif 1148-1148 ExclusiveFishingZoneFn1変数関数instance では %n
(range ExclusiveFishingZoneFn ExclusiveFishingZone) Geography.kif 1150-1150 ExclusiveFishingZoneFnrangeExclusiveFishingZone のインスタンス では %n

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

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