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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeShelfAreaFn

Sigma KEE - MaritimeShelfAreaFn
MaritimeShelfAreaFn

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


(documentation MaritimeShelfAreaFn EnglishLanguage "(MaritimeShelfAreaFn ?POLITY) denotes the MaritimeShelfArea that is claimed by the GeopoliticalArea ?POLITY.") Geography.kif 1088-1090
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1085-1085 MaritimeShelfAreaFn の数値 1 引数は 地政学的地域instance では %n
(instance MaritimeShelfAreaFn UnaryFunction) Geography.kif 1084-1084 MaritimeShelfAreaFn1変数関数instance では %n
(range MaritimeShelfAreaFn MaritimeShelfArea) Geography.kif 1086-1086 MaritimeShelfAreaFnrangeMaritimeShelfArea のインスタンス では %n

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


(format ChineseLanguage MaritimeShelfAreaFn "%1 的 maritime 貨價區") domainEnglishFormat.kif 1635-1635
(format ChineseTraditionalLanguage MaritimeShelfAreaFn "%1 的 maritime 貨價區") domainEnglishFormat.kif 1634-1634
(format EnglishLanguage MaritimeShelfAreaFn "the maritime shelf area of %1") domainEnglishFormat.kif 1633-1633
(termFormat ChineseLanguage MaritimeShelfAreaFn "海运货架区") domainEnglishFormat.kif 36245-36245
(termFormat ChineseTraditionalLanguage MaritimeShelfAreaFn "海運貨架區") domainEnglishFormat.kif 36244-36244
(termFormat EnglishLanguage MaritimeShelfAreaFn "maritime shelf area") domainEnglishFormat.kif 36243-36243

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))
Geography.kif 1092-1096

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