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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OverseasArea
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 477-479
(subclass OverseasArea DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 7688-7688
(subclass OverseasArea GeopoliticalArea) Government.kif 475-475

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


(instance Palestine OverseasArea) CountriesAndRegions.kif 755-755
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 490-490
(subclass BritishCrownColony OverseasArea) Government.kif 507-507
(subclass UnincorporatedUnitedStatesTerritory OverseasArea) Government.kif 501-501
(termFormat ChineseLanguage OverseasArea "海外地区") domainEnglishFormat.kif 43777-43777
(termFormat ChineseTraditionalLanguage OverseasArea "海外地區") domainEnglishFormat.kif 43776-43776
(termFormat EnglishLanguage OverseasArea "overseas area") domainEnglishFormat.kif 43775-43775

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


(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA OverseasArea))
    (instance
        (ShipRegisterFn ?AREA) OffshoreShipRegister))
Transportation.kif 1151-1155
(=>
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
        (and
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))
Government.kif 481-486

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


(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))
Government.kif 495-499
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 503-505


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