TreeView Knowledge Base Browser

appearance as argument number 1

(documentation TerritorialSeaFn EnglishLanguage "(TerritorialSeaFn ?POLITY) denotes the TerritorialSea that is claimed by the GeopoliticalArea ?POLITY.")	Geography.kif 1225-1226
(domain TerritorialSeaFn 1 GeopoliticalArea)	Geography.kif 1222-1222	TerritorialSeaFn の数値 1 引数は地政学的地域の instance では %n
(instance TerritorialSeaFn UnaryFunction)	Geography.kif 1221-1221	TerritorialSeaFn は 1変数関数の instance では %n
(range TerritorialSeaFn TerritorialSea)	Geography.kif 1223-1223	TerritorialSeaFn の range は TerritorialSea のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage TerritorialSeaFn "%1 的 territorial 海洋")	domainEnglishFormat.kif 2467-2467
(format ChineseTraditionalLanguage TerritorialSeaFn "%1 的 territorial 海洋")	domainEnglishFormat.kif 2466-2466
(format EnglishLanguage TerritorialSeaFn "the territorial sea of %1")	domainEnglishFormat.kif 2465-2465
(termFormat ChineseLanguage TerritorialSeaFn "领海")	domainEnglishFormat.kif 57602-57602
(termFormat ChineseTraditionalLanguage TerritorialSeaFn "領海")	domainEnglishFormat.kif 57601-57601
(termFormat EnglishLanguage TerritorialSeaFn "territorial sea")	domainEnglishFormat.kif 57600-57600

antecedent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))

Geography.kif 1228-1232

consequent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))

Geography.kif 1228-1232