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 1159-1162
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea) Geography.kif 1156-1156
(instance ExclusiveFishingZoneFn UnaryFunction) Geography.kif 1155-1155
(range ExclusiveFishingZoneFn ExclusiveFishingZone) Geography.kif 1157-1157

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 22671-22671
(termFormat ChineseTraditionalLanguage ExclusiveFishingZoneFn "專屬捕魚區") domainEnglishFormat.kif 22670-22670
(termFormat EnglishLanguage ExclusiveFishingZoneFn "exclusive fishing zone") domainEnglishFormat.kif 22669-22669

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


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

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


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


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