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 The number 1 argument of maritime contiguous zone is an instance of geopolitical area
(instance MaritimeContiguousZoneFn UnaryFunction) Geography.kif 1042-1042 Maritime contiguous zone is an instance of unary function
(range MaritimeContiguousZoneFn MaritimeContiguousZone) Geography.kif 1044-1044 The range of maritime contiguous zone is an instance of maritime contiguous zone

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