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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OverseasAreaFn
OverseasAreaFn

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


(documentation OverseasAreaFn EnglishLanguage "(OverseasAreaFn ?AREA) denotes the class of OverseasAreas that belong to the GeopoliticalArea ?AREA.") Government.kif 493-494
(domain OverseasAreaFn 1 GeopoliticalArea) Government.kif 490-490 The number 1 argument of overseas area is an instance of geopolitical area
(instance OverseasAreaFn UnaryFunction) Government.kif 489-489 Overseas area is an instance of unary function
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 491-491 The values returned by overseas area are subclasses of overseas area

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


(format ChineseLanguage OverseasAreaFn "%1 的 overseas 区域") domainEnglishFormat.kif 1895-1895
(format ChineseTraditionalLanguage OverseasAreaFn "%1 的 overseas 區域") domainEnglishFormat.kif 1894-1894
(format EnglishLanguage OverseasAreaFn "the overseas area of %1") domainEnglishFormat.kif 1893-1893
(termFormat ChineseLanguage OverseasAreaFn "海外地区") domainEnglishFormat.kif 43723-43723 "海外地区" is the printable form of overseas area in ChineseLanguage
(termFormat ChineseTraditionalLanguage OverseasAreaFn "海外地區") domainEnglishFormat.kif 43722-43722 "海外地區" is the printable form of overseas area in ChineseTraditionalLanguage
(termFormat EnglishLanguage OverseasAreaFn "overseas area") domainEnglishFormat.kif 43721-43721 "overseas area" is the printable form of overseas area in english language

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


(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))
Government.kif 496-500


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