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 1191-1194
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1188-1188
(instance ExtendedFishingZoneFn UnaryFunction) Geography.kif 1187-1187
(range ExtendedFishingZoneFn ExtendedFishingZone) Geography.kif 1189-1189

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 22977-22977
(termFormat ChineseTraditionalLanguage ExtendedFishingZoneFn "延伸捕魚區") domainEnglishFormat.kif 22976-22976
(termFormat EnglishLanguage ExtendedFishingZoneFn "extended fishing zone") domainEnglishFormat.kif 22975-22975

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


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

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


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


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