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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeExclusiveEconomicZoneFn

Sigma KEE - MaritimeExclusiveEconomicZoneFn
MaritimeExclusiveEconomicZoneFn

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


(documentation MaritimeExclusiveEconomicZoneFn EnglishLanguage "(MaritimeExclusiveEconomicZoneFn ?POLITY) denotes the MaritimeExclusiveEconomicZone that is claimed by the GeopoliticalArea ?POLITY.") Geography.kif 1120-1123
(domain MaritimeExclusiveEconomicZoneFn 1 GeopoliticalArea) Geography.kif 1117-1117 MaritimeExclusiveEconomicZoneFn の数値 1 引数は 地政学的地域instance では %n
(instance MaritimeExclusiveEconomicZoneFn UnaryFunction) Geography.kif 1116-1116 MaritimeExclusiveEconomicZoneFn1変数関数instance では %n
(range MaritimeExclusiveEconomicZoneFn MaritimeExclusiveEconomicZone) Geography.kif 1118-1118 MaritimeExclusiveEconomicZoneFnrangeMaritimeExclusiveEconomicZone のインスタンス では %n

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


(format ChineseLanguage MaritimeExclusiveEconomicZoneFn "%1 的 maritime 隔离经济区") domainEnglishFormat.kif 1631-1631
(format ChineseTraditionalLanguage MaritimeExclusiveEconomicZoneFn "%1 的 maritime 隔離經濟區") domainEnglishFormat.kif 1630-1630
(format EnglishLanguage MaritimeExclusiveEconomicZoneFn "the maritime exclusive economic zone of %1") domainEnglishFormat.kif 1629-1629
(termFormat ChineseLanguage MaritimeExclusiveEconomicZoneFn "海上专属经济区") domainEnglishFormat.kif 36227-36227
(termFormat ChineseTraditionalLanguage MaritimeExclusiveEconomicZoneFn "海上專屬經濟區") domainEnglishFormat.kif 36226-36226
(termFormat EnglishLanguage MaritimeExclusiveEconomicZoneFn "maritime exclusive economic zone") domainEnglishFormat.kif 36225-36225

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))
Geography.kif 1125-1129

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