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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OverseasArea
OverseasArea(overseas area)overseas_area, 海外地区, 海外地區

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 7761-7761 Overseas area is a subclass of dependency or special sovereignty area
(subclass OverseasArea GeopoliticalArea) Government.kif 476-476 Overseas area is a subclass of geopolitical area

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


(instance Palestine OverseasArea) CountriesAndRegions.kif 755-755 Palestine is an instance of overseas area
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 491-491 The values returned by overseas area are subclasses of overseas area
(subclass BritishCrownColony OverseasArea) Government.kif 508-508 British crown colony is a subclass of overseas area
(subclass UnincorporatedUnitedStatesTerritory OverseasArea) Government.kif 502-502 Unincorporated united states territory is a subclass of overseas area
(termFormat ChineseLanguage OverseasArea "海外地区") domainEnglishFormat.kif 43717-43717 "海外地区" is the printable form of overseas area in ChineseLanguage
(termFormat ChineseTraditionalLanguage OverseasArea "海外地區") domainEnglishFormat.kif 43716-43716 "海外地區" is the printable form of overseas area in ChineseTraditionalLanguage
(termFormat EnglishLanguage OverseasArea "overseas area") domainEnglishFormat.kif 43715-43715 "overseas area" is the printable form of overseas area in english language

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


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

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


(=>
    (and
        (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