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

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 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