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 22915-22915 termFormat ChineseLanguage, ExtendedFishingZoneFn and "延伸捕鱼区"
(termFormat ChineseTraditionalLanguage ExtendedFishingZoneFn "延伸捕魚區") domainEnglishFormat.kif 22914-22914 termFormat ChineseTraditionalLanguage, ExtendedFishingZoneFn and "延伸捕魚區"
(termFormat EnglishLanguage ExtendedFishingZoneFn "extended fishing zone") domainEnglishFormat.kif 22913-22913 termFormat EnglishLanguage, ExtendedFishingZoneFn and "extended fishing zone"

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