MaritimeContiguousZoneFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MaritimeContiguousZoneFn EnglishLanguage "(MaritimeContiguousZoneFn ?POLITY) denotes the MaritimeContiguousZone that is claimed by the GeopoliticalArea ?POLITY.")	Geography.kif 1046-1048
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea)	Geography.kif 1043-1043	MaritimeContiguousZoneFn の数値 1 引数は地政学的地域の instance では %n
(instance MaritimeContiguousZoneFn UnaryFunction)	Geography.kif 1042-1042	MaritimeContiguousZoneFn は 1変数関数の instance では %n
(range MaritimeContiguousZoneFn MaritimeContiguousZone)	Geography.kif 1044-1044	MaritimeContiguousZoneFn の range は MaritimeContiguousZone のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage MaritimeContiguousZoneFn "%1 的 maritime 鄰近區")	domainEnglishFormat.kif 1627-1627
(format ChineseTraditionalLanguage MaritimeContiguousZoneFn "%1 的 maritime 鄰近區")	domainEnglishFormat.kif 1626-1626
(format EnglishLanguage MaritimeContiguousZoneFn "the maritime contiguous zone of %1")	domainEnglishFormat.kif 1625-1625
(termFormat ChineseLanguage MaritimeContiguousZoneFn "海上毗连区")	domainEnglishFormat.kif 36215-36215
(termFormat ChineseTraditionalLanguage MaritimeContiguousZoneFn "海上毗連區")	domainEnglishFormat.kif 36214-36214
(termFormat EnglishLanguage MaritimeContiguousZoneFn "maritime contiguous zone")	domainEnglishFormat.kif 36213-36213

antecedent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))

Geography.kif 1050-1054

consequent

Geography.kif 1050-1054