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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExtendedFishingZoneFn
ExtendedFishingZoneFn

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


(documentation ExtendedFishingZoneFn EnglishLanguage "(ExtendedFishingZoneFn ?POLITY) denotes the ExtendedFishingZoneFn that is claimed by the GeopoliticalArea ?POLITY, beyond its ExclusiveFishingZone.") Geography.kif 1179-1182
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1176-1176 domain ExtendedFishingZoneFn, 1 and GeopoliticalArea
(instance ExtendedFishingZoneFn UnaryFunction) Geography.kif 1175-1175 instance ExtendedFishingZoneFn and UnaryFunction
(range ExtendedFishingZoneFn ExtendedFishingZone) Geography.kif 1177-1177 range ExtendedFishingZoneFn and ExtendedFishingZone

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


(format ChineseLanguage ExtendedFishingZoneFn "%1 的 extended 钓鱼区") domainEnglishFormat.kif 979-979
(format ChineseTraditionalLanguage ExtendedFishingZoneFn "%1 的 extended 釣魚區") domainEnglishFormat.kif 978-978
(format EnglishLanguage ExtendedFishingZoneFn "the extended fishing zone of %1") domainEnglishFormat.kif 977-977
(termFormat ChineseLanguage ExtendedFishingZoneFn "延伸捕鱼区") domainEnglishFormat.kif 22909-22909
(termFormat ChineseTraditionalLanguage ExtendedFishingZoneFn "延伸捕魚區") domainEnglishFormat.kif 22908-22908
(termFormat EnglishLanguage ExtendedFishingZoneFn "extended fishing zone") domainEnglishFormat.kif 22907-22907

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))
Geography.kif 1184-1188

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))
Geography.kif 1184-1188


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