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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeContiguousZoneFn

Sigma KEE - MaritimeContiguousZoneFn
MaritimeContiguousZoneFn

appearance as argument number 1
-------------------------


(documentation MaritimeContiguousZoneFn EnglishLanguage "(MaritimeContiguousZoneFn ?POLITY) denotes the MaritimeContiguousZone that is claimed by the GeopoliticalArea ?POLITY.") Geography.kif 1046-1048
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1043-1043 MaritimeContiguousZoneFn の数値 1 引数は 地政学的地域instance では %n
(instance MaritimeContiguousZoneFn UnaryFunction) Geography.kif 1042-1042 MaritimeContiguousZoneFn1変数関数instance では %n
(range MaritimeContiguousZoneFn MaritimeContiguousZone) Geography.kif 1044-1044 MaritimeContiguousZoneFnrangeMaritimeContiguousZone のインスタンス では %n

appearance as argument number 2
-------------------------


(format ChineseLanguage MaritimeContiguousZoneFn "%1 的 maritime 鄰近區") domainEnglishFormat.kif 1627-1627
(format ChineseTraditionalLanguage MaritimeContiguousZoneFn "%1 的 maritime 鄰近區") domainEnglishFormat.kif 1626-1626
(format EnglishLanguage MaritimeContiguousZoneFn "the maritime contiguous zone of %1") domainEnglishFormat.kif 1625-1625
(termFormat ChineseLanguage MaritimeContiguousZoneFn "海上毗连区") domainEnglishFormat.kif 36215-36215
(termFormat ChineseTraditionalLanguage MaritimeContiguousZoneFn "海上毗連區") domainEnglishFormat.kif 36214-36214
(termFormat EnglishLanguage MaritimeContiguousZoneFn "maritime contiguous zone") domainEnglishFormat.kif 36213-36213

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))
Geography.kif 1050-1054

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners