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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1095-1097
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1092-1092
(instance MaritimeShelfAreaFn UnaryFunction) Geography.kif 1091-1091
(range MaritimeShelfAreaFn MaritimeShelfArea) Geography.kif 1093-1093

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 36228-36228
(termFormat ChineseTraditionalLanguage MaritimeShelfAreaFn "海運貨架區") domainEnglishFormat.kif 36227-36227
(termFormat EnglishLanguage MaritimeShelfAreaFn "maritime shelf area") domainEnglishFormat.kif 36226-36226

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


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

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


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


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