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 453-455
(subclass OverseasArea DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 8046-8046 海外地区依赖或特殊主权领域subclass
(subclass OverseasArea GeopoliticalArea) Government.kif 451-451 海外地区地缘政治区域subclass

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


(instance Palestine OverseasArea) CountriesAndRegions.kif 755-755 巴勒斯坦海外地区instance
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 466-466 海外地区 的所得值 是 海外地区subclass
(subclass BritishCrownColony OverseasArea) Government.kif 483-483 英国皇家殖民地海外地区subclass
(subclass UnincorporatedUnitedStatesTerritory OverseasArea) Government.kif 477-477 非法人团结的美国领土海外地区subclass
(termFormat ChineseLanguage OverseasArea "海外地区") domainEnglishFormat.kif 43802-43802
(termFormat ChineseTraditionalLanguage OverseasArea "海外地區") domainEnglishFormat.kif 43801-43801
(termFormat EnglishLanguage OverseasArea "overseas area") domainEnglishFormat.kif 43800-43800

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 457-462

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


(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))
Government.kif 471-475
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 479-481


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