Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TerritorialSeaFn
TerritorialSeaFn

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))
Geography.kif 2685-2689 If X is an instance of geopolitical area and the territorial sea of X is an instance of territorial sea, then X is a claimed territory of the territorial sea of X

consequent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))
Geography.kif 2685-2689 If X is an instance of geopolitical area and the territorial sea of X is an instance of territorial sea, then X is a claimed territory of the territorial sea of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners