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


KB Term:  Term intersection
English Word: 

Sigma KEE - OverseasArea
OverseasArea(overseas area)

appearance as argument number 1
-------------------------


(subclass OverseasArea DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 9226-9226 Overseas area is a subclass of dependency or special sovereignty area
(subclass OverseasArea GeopoliticalArea) Government.kif 451-451 Overseas area is a subclass of geopolitical area
(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 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 466-466 The values returned by overseas area are subclasses of overseas area
(subclass UnincorporatedUnitedStatesTerritory OverseasArea) Government.kif 477-477 Unincorporated united states territory is a subclass of overseas area
(subclass BritishCrownColony OverseasArea) Government.kif 483-483 British crown colony is a subclass of overseas area
(termFormat EnglishLanguage OverseasArea "overseas area") domainEnglishFormat.kif 43793-43793 British crown colony is a subclass of overseas area
(termFormat ChineseTraditionalLanguage OverseasArea "海外地區") domainEnglishFormat.kif 43794-43794 British crown colony is a subclass of overseas area
(termFormat ChineseLanguage OverseasArea "海外地区") domainEnglishFormat.kif 43795-43795 British crown colony is a subclass of overseas area

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


(=>
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
        (and
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))		 Government.kif 457-462 If X is an instance of overseas area, then there exists Y such that Y is an instance of nation and X is a dependent of Y
(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA OverseasArea))
    (instance
        (ShipRegisterFn ?AREA) OffshoreShipRegister))		 Transportation.kif 1151-1155 If the ship register of X is an instance of ship register and X is an instance of overseas area, then the ship register of X is an instance of offshore ship register

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


(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))		 Government.kif 471-475 If X is an instance of nation and Y is an instance of the overseas area of X, then Y dependent area of type X for overseas area
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))		 Government.kif 479-481 If X is an instance of unincorporated united states territory, then X dependent area of type united states for overseas area


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