MaritimeShelfAreaFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MaritimeShelfAreaFn EnglishLanguage "(MaritimeShelfAreaFn ?POLITY) denotes the MaritimeShelfArea that is claimed by the GeopoliticalArea ?POLITY.")	Geography.kif 1252-1254
(domain MaritimeShelfAreaFn 1 GeopoliticalArea)	Geography.kif 1249-1249	MaritimeShelfAreaFn の数値 1 引数は地政学的地域の instance では
(instance MaritimeShelfAreaFn UnaryFunction)	Geography.kif 1248-1248	MaritimeShelfAreaFn は 1変数関数の instance では
(range MaritimeShelfAreaFn MaritimeShelfArea)	Geography.kif 1250-1250	MaritimeShelfAreaFn の range は MaritimeShelfArea のインスタンスでは

appearance as argument number 2

(format ChineseLanguage MaritimeShelfAreaFn "%1 的 maritime 貨價區")	domainEnglishFormat.kif 1639-1639
(format ChineseTraditionalLanguage MaritimeShelfAreaFn "%1 的 maritime 貨價區")	domainEnglishFormat.kif 1638-1638
(format EnglishLanguage MaritimeShelfAreaFn "the maritime shelf area of %1")	domainEnglishFormat.kif 1637-1637
(termFormat ChineseLanguage MaritimeShelfAreaFn "海运货架区")	domainEnglishFormat.kif 36254-36254
(termFormat ChineseTraditionalLanguage MaritimeShelfAreaFn "海運貨架區")	domainEnglishFormat.kif 36253-36253
(termFormat EnglishLanguage MaritimeShelfAreaFn "maritime shelf area")	domainEnglishFormat.kif 36252-36252

antecedent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))

Geography.kif 1256-1260

consequent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))

Geography.kif 1256-1260