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 The number 1 argument of dependent area of type is an instance of geopolitical area
(domain dependentAreaOfType 2 GeopoliticalArea) Government.kif 86-86 The number 2 argument of dependent area of type is an instance of geopolitical area
(domainSubclass dependentAreaOfType 3 GeopoliticalArea) Government.kif 87-87 The number 3 argument of dependent area of type is a subclass of geopolitical area
(instance dependentAreaOfType TernaryPredicate) Government.kif 84-84 dependent area of type is an instance of ternary predicate

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


(format ChineseLanguage dependentAreaOfType "%1 %n{不是} 对于 %3 dependent 区域的类别 %2") domainEnglishFormat.kif 712-712
(format ChineseTraditionalLanguage dependentAreaOfType "%1 %n{不是} 對於 %3 dependent 區域的類別 %2 ") domainEnglishFormat.kif 711-711
(format EnglishLanguage dependentAreaOfType "%1 %n{doesn't} dependent area of type %2 for %3") domainEnglishFormat.kif 710-710
(termFormat ChineseLanguage dependentAreaOfType "依赖的类型区域") domainEnglishFormat.kif 19122-19122
(termFormat ChineseTraditionalLanguage dependentAreaOfType "依賴的類型區域") domainEnglishFormat.kif 19121-19121
(termFormat EnglishLanguage dependentAreaOfType "dependent area of type") domainEnglishFormat.kif 19120-19120

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


(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (dependentGeopoliticalArea ?AREA ?COUNTRY))
Government.kif 473-475
(=>
    (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 507-511
(=>
    (instance ?AREA BritishCrownColony)
    (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony))
Government.kif 521-523
(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 515-517


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