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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - OverseasArea

appearance as argument number 1

(documentation OverseasArea EnglishLanguage "OverseasArea is the class of GeopoliticalAreas that are related to a Nation as overseas territories, possessions, protectorates, or departments.") Government.kif 478-480
(subclass OverseasArea DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 7768-7768 subclass OverseasArea and DependencyOrSpecialSovereigntyArea
(subclass OverseasArea GeopoliticalArea) Government.kif 476-476 subclass OverseasArea and GeopoliticalArea

appearance as argument number 2

(instance Palestine OverseasArea) CountriesAndRegions.kif 755-755 instance Palestine and OverseasArea
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 491-491 rangeSubclass OverseasAreaFn and OverseasArea
(subclass BritishCrownColony OverseasArea) Government.kif 508-508 subclass BritishCrownColony and OverseasArea
(subclass UnincorporatedUnitedStatesTerritory OverseasArea) Government.kif 502-502 subclass UnincorporatedUnitedStatesTerritory and OverseasArea
(termFormat ChineseLanguage OverseasArea "海外地区") domainEnglishFormat.kif 43693-43693
(termFormat ChineseTraditionalLanguage OverseasArea "海外地區") domainEnglishFormat.kif 43692-43692
(termFormat EnglishLanguage OverseasArea "overseas area") domainEnglishFormat.kif 43691-43691


            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA OverseasArea))
        (ShipRegisterFn ?AREA) OffshoreShipRegister))
Transportation.kif 1140-1144
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))
Government.kif 482-487


        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))
Government.kif 496-500
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 504-506

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