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 The number 1 argument of exclusive fishing zone is an instance of geopolitical area
(instance ExclusiveFishingZoneFn UnaryFunction) Geography.kif 1148-1148 Exclusive fishing zone is an instance of unary function
(range ExclusiveFishingZoneFn ExclusiveFishingZone) Geography.kif 1150-1150 The range of exclusive fishing zone is an instance of exclusive fishing zone

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