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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtendedFishingZoneFn

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 1184-1187
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1181-1181 Il numero 1 argomenti di ExtendedFishingZoneFn è un istanza di AreaGeopolitica
(instance ExtendedFishingZoneFn UnaryFunction) Geography.kif 1180-1180 ExtendedFishingZoneFn è un' istanza di FunzioneUnaria
(range ExtendedFishingZoneFn ExtendedFishingZone) Geography.kif 1182-1182 rango di ExtendedFishingZoneFn è un'istanza di 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 22984-22984
(termFormat ChineseTraditionalLanguage ExtendedFishingZoneFn "延伸捕魚區") domainEnglishFormat.kif 22983-22983
(termFormat EnglishLanguage ExtendedFishingZoneFn "extended fishing zone") domainEnglishFormat.kif 22982-22982

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


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

Show without tree


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