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 1348-1351
(domain ExtendedFishingZoneFn 1 GeopoliticalArea) Geography.kif 1345-1345 ExtendedFishingZoneFn の数値 1 引数は 地政学的地域instance では
(instance ExtendedFishingZoneFn UnaryFunction) Geography.kif 1344-1344 ExtendedFishingZoneFn1変数関数instance では
(range ExtendedFishingZoneFn ExtendedFishingZone) Geography.kif 1346-1346 ExtendedFishingZoneFnrangeExtendedFishingZone のインスタンス では

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

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


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

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


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


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