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 19051-19051 "依赖的类型区域" is the printable form of dependent area of type in ChineseLanguage
(termFormat ChineseTraditionalLanguage dependentAreaOfType "依賴的類型區域") domainEnglishFormat.kif 19050-19050 "依賴的類型區域" is the printable form of dependent area of type in ChineseTraditionalLanguage
(termFormat EnglishLanguage dependentAreaOfType "dependent area of type") domainEnglishFormat.kif 19049-19049 "dependent area of type" is the printable form of dependent area of type in english language

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