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