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
(instance OverseasAreaFn UnaryFunction) Government.kif 489-489
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 491-491

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


(format EnglishLanguage OverseasAreaFn "the overseas area of %1") domainEnglishFormat.kif 482-482
(termFormat EnglishLanguage OverseasAreaFn "overseas area") domainEnglishFormat.kif 7720-7720

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