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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OverseasArea

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 489-491
(subclass OverseasArea DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 8019-8019 OverseasAreaDependencyOrSpecialSovereigntyAreasubclass では %n
(subclass OverseasArea GeopoliticalArea) Government.kif 487-487 OverseasArea地政学的地域subclass では %n

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


(instance Palestine OverseasArea) CountriesAndRegions.kif 755-755 PalestineOverseasAreainstance では %n
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 502-502 OverseasAreaFn が返す値は OverseasAreasubclasses では %n
(subclass BritishCrownColony OverseasArea) Government.kif 519-519 BritishCrownColonyOverseasAreasubclass では %n
(subclass UnincorporatedUnitedStatesTerritory OverseasArea) Government.kif 513-513 UnincorporatedUnitedStatesTerritoryOverseasAreasubclass では %n
(termFormat ChineseLanguage OverseasArea "海外地区") domainEnglishFormat.kif 43800-43800
(termFormat ChineseTraditionalLanguage OverseasArea "海外地區") domainEnglishFormat.kif 43799-43799
(termFormat EnglishLanguage OverseasArea "overseas area") domainEnglishFormat.kif 43798-43798

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 493-498

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


(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))
Government.kif 507-511
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 515-517


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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