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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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


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 is open source software produced by Articulate Software and its partners