TreeView Knowledge Base Browser

appearance as argument number 1

(instance TerritorialSeaFn UnaryFunction)	Geography.kif 2678-2678	Territorial sea is an instance of unary function
(domain TerritorialSeaFn 1 GeopoliticalArea)	Geography.kif 2679-2679	The number 1 argument of territorial sea is an instance of geopolitical area
(range TerritorialSeaFn TerritorialSea)	Geography.kif 2680-2680	The range of territorial sea is an instance of territorial sea
(documentation TerritorialSeaFn EnglishLanguage "(TerritorialSeaFn ?POLITY) denotes the TerritorialSea that is claimed by the GeopoliticalArea ?POLITY.")	Geography.kif 2682-2683	The range of territorial sea is an instance of territorial sea

appearance as argument number 2

(format EnglishLanguage TerritorialSeaFn "the territorial sea of %1")	domainEnglishFormat.kif 2469-2469
(format ChineseTraditionalLanguage TerritorialSeaFn "%1 的 territorial 海洋")	domainEnglishFormat.kif 2470-2470
(format ChineseLanguage TerritorialSeaFn "%1 的 territorial 海洋")	domainEnglishFormat.kif 2471-2471
(termFormat EnglishLanguage TerritorialSeaFn "territorial sea")	domainEnglishFormat.kif 57599-57599
(termFormat ChineseTraditionalLanguage TerritorialSeaFn "領海")	domainEnglishFormat.kif 57600-57600
(termFormat ChineseLanguage TerritorialSeaFn "领海")	domainEnglishFormat.kif 57601-57601

antecedent

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

consequent

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