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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExclusiveFishingZone
ExclusiveFishingZone(exclusive fishing zone)exclusive_fishing_zone

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


(documentation ExclusiveFishingZone EnglishLanguage "ExclusiveFishingZone is the subclass of MaritimeClaimArea including offshore areas over which a nation claims exclusive jurisdiction only for fishing purposes (cf. MaritimeExclusiveEconomicZone). Zone widths vary up to 200 miles (NM).") Geography.kif 1120-1124
(subclass ExclusiveFishingZone MaritimeClaimArea) Geography.kif 1117-1117 Exclusive fishing zone is a subclass of maritime claim area
(subclass ExclusiveFishingZone SaltWaterArea) Geography.kif 1118-1118 Exclusive fishing zone is a subclass of salt water area

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


(range ExclusiveFishingZoneFn ExclusiveFishingZone) Geography.kif 1134-1134 The range of exclusive fishing zone is an instance of exclusive fishing zone
(termFormat EnglishLanguage ExclusiveFishingZone "exclusive fishing zone") domainEnglishFormat.kif 4200-4200 "exclusive fishing zone" is the printable form of exclusive fishing zone in english language

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))
Geography.kif 1141-1145
(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 200 NauticalMile)))
Geography.kif 1126-1130


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners