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 海运货架区 的 1 数量 是 地缘政治区域instance
(instance MaritimeShelfAreaFn UnaryFunction) Geography.kif 1084-1084 海运货架区一元函数instance
(range MaritimeShelfAreaFn MaritimeShelfArea) Geography.kif 1086-1086 海运货架区range海运货架区 的实例

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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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