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 1053-1055
(domain MaritimeContiguousZoneFn 1 GeopoliticalArea) Geography.kif 1050-1050
(instance MaritimeContiguousZoneFn UnaryFunction) Geography.kif 1049-1049
(range MaritimeContiguousZoneFn MaritimeContiguousZone) Geography.kif 1051-1051

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 36198-36198
(termFormat ChineseTraditionalLanguage MaritimeContiguousZoneFn "海上毗連區") domainEnglishFormat.kif 36197-36197
(termFormat EnglishLanguage MaritimeContiguousZoneFn "maritime contiguous zone") domainEnglishFormat.kif 36196-36196

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


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

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


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


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