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 1086-1088
(domain MaritimeShelfAreaFn 1 GeopoliticalArea) Geography.kif 1083-1083 domain MaritimeShelfAreaFn, 1 and GeopoliticalArea
(instance MaritimeShelfAreaFn UnaryFunction) Geography.kif 1082-1082 instance MaritimeShelfAreaFn and UnaryFunction
(range MaritimeShelfAreaFn MaritimeShelfArea) Geography.kif 1084-1084 range MaritimeShelfAreaFn and MaritimeShelfArea

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 36157-36157 termFormat ChineseLanguage, MaritimeShelfAreaFn and "海运货架区"
(termFormat ChineseTraditionalLanguage MaritimeShelfAreaFn "海運貨架區") domainEnglishFormat.kif 36156-36156 termFormat ChineseTraditionalLanguage, MaritimeShelfAreaFn and "海運貨架區"
(termFormat EnglishLanguage MaritimeShelfAreaFn "maritime shelf area") domainEnglishFormat.kif 36155-36155 termFormat EnglishLanguage, MaritimeShelfAreaFn and "maritime shelf area"

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners