TreeView Knowledge Base Browser - MaritimeShelfAreaFn

appearance as argument number 1

(documentation MaritimeShelfAreaFn EnglishLanguage "(MaritimeShelfAreaFn ?POLITY) denotes the MaritimeShelfArea that is claimed by the GeopoliticalArea ?POLITY.")	Geography.kif 1088-1090
(domain MaritimeShelfAreaFn 1 GeopoliticalArea)	Geography.kif 1085-1085	海运货架区的 1 数量是地缘政治区域的 instance
(instance MaritimeShelfAreaFn UnaryFunction)	Geography.kif 1084-1084	海运货架区是一元函数的 instance
(range MaritimeShelfAreaFn MaritimeShelfArea)	Geography.kif 1086-1086	海运货架区的 range 是海运货架区的实例

appearance as argument number 2

(format ChineseLanguage MaritimeShelfAreaFn "%1 的 maritime 貨價區")	domainEnglishFormat.kif 1635-1635
(format ChineseTraditionalLanguage MaritimeShelfAreaFn "%1 的 maritime 貨價區")	domainEnglishFormat.kif 1634-1634
(format EnglishLanguage MaritimeShelfAreaFn "the maritime shelf area of %1")	domainEnglishFormat.kif 1633-1633
(termFormat ChineseLanguage MaritimeShelfAreaFn "海运货架区")	domainEnglishFormat.kif 36245-36245
(termFormat ChineseTraditionalLanguage MaritimeShelfAreaFn "海運貨架區")	domainEnglishFormat.kif 36244-36244
(termFormat EnglishLanguage MaritimeShelfAreaFn "maritime shelf area")	domainEnglishFormat.kif 36243-36243

antecedent

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

Geography.kif 1092-1096

consequent

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

Geography.kif 1092-1096