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


KB Term:  Term intersection
English Word: 

  dependentAreaOfType

 Sigma KEE - dependentAreaOfType
dependentAreaOfType

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


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

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


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

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


(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (instance ?AREA ?TYPE))		 Government.kif 95-97 If X dependent area of type Y for Z, then X is an instance of Z
(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (dependentGeopoliticalArea ?AREA ?COUNTRY))		 Government.kif 437-439 If X dependent area of type Y for Z, then X is a dependent of Y

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
(=>
    (instance ?AREA BritishCrownColony)
    (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony))		 Government.kif 485-487 If X is an instance of british crown colony, then X dependent area of type united kingdom for british crown colony


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners