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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dependentAreaOfType
dependentAreaOfType

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


(documentation dependentAreaOfType EnglishLanguage "(dependentAreaOfType ?AREA ?COUNTRY ?TYPE) means that the GeopoliticalArea ?AREA is a dependency of the independent Nation ?COUNTRY, administered as a unit of ?TYPE. For example, (dependentAreaOfType SaintHelena UnitedKingdom OverseasArea).") Government.kif 89-93
(domain dependentAreaOfType 1 GeopoliticalArea) Government.kif 85-85
(domain dependentAreaOfType 2 GeopoliticalArea) Government.kif 86-86
(domainSubclass dependentAreaOfType 3 GeopoliticalArea) Government.kif 87-87
(instance dependentAreaOfType TernaryPredicate) Government.kif 84-84

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


(format EnglishLanguage dependentAreaOfType "%1 %n{doesn't} dependent area of type %2 for %3") domainEnglishFormat.kif 187-187
(termFormat EnglishLanguage dependentAreaOfType "dependent area of type") domainEnglishFormat.kif 3608-3608

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


(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (dependentGeopoliticalArea ?AREA ?COUNTRY))
Government.kif 462-464
(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (instance ?AREA ?TYPE))
Government.kif 95-97

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


(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))
Government.kif 496-500
(=>
    (instance ?AREA BritishCrownColony)
    (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony))
Government.kif 510-512
(=>
    (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