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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EidAladha

Sigma KEE - RegionalLawFn
RegionalLawFn

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


s__documentation(s__RegionalLawFn__m,s__EnglishLanguage,'(RegionalLawFn ?AREA) denotes the laws pertaining in the GeopoliticalArea ?AREA that are established and enforced by the Government of ?AREA. For example, (RegionalLawFn UnitedStates) denotes the laws of the government of the UnitedStates and its constituent units.')

Government.kif 878-882
s__domain(s__RegionalLawFn__m,1,s__GeopoliticalArea)

Government.kif 875-875
s__instance(s__UnaryFunction,s__SetOrClass)

Government.kif 874-874
s__range(s__RegionalLawFn__m,s__RegionalLaw)

Government.kif 876-876

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


s__format(s__EnglishLanguage,s__RegionalLawFn__m,'the regional law of %1')

domainEnglishFormat.kif 538-538
s__termFormat(s__EnglishLanguage,s__RegionalLawFn__m,'regional law')

domainEnglishFormat.kif 8627-8627

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
( ∀ [V__CAO,V__NATION,V__LAW,V__CONTENT]
   ((s__instance(V__CAO,s__CivilAffairsOperation) ∧
       s__located(V__CAO,V__NATION)
     ∧
     s__instance(V__NATION,s__Nation) ∧
     s__instance(V__LAW,s__RegionalLawFn(V__NATION))

s__realization(V__CAO,V__CONTENT))

s__consistent(V__LAW,V__CONTENT))
)

MilitaryProcesses.kif 2211-2219
( ∀ [V__POLITY,V__AGENT,V__VOTINGAGE,V__AGE,V__ELECTION]
   ((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)

s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)

s__age(V__AGENT,V__AGE)

s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)

s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))

(∃ [V__VOTING]
(s__instance(V__VOTING,s__VotingFn(V__ELECTION))

s__agent(V__VOTING,V__AGENT))))
)

Government.kif 1143-1154
No TPTP formula. May not be expressible in strict first order. Government.kif 1174-1192
( ∀ [V__POLITY,V__AGENT,V__ELECTION]
   ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
   ∧
   s__attribute(V__AGENT,s__Female) ∧
   s__instance(V__ELECTION,s__Election))

s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)))
)

Government.kif 1228-1233
( ∀ [V__POLITY,V__AGENT,V__ELECTION]
   ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)

s__instance(V__ELECTION,s__ElectionFn(V__POLITY))

s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))

s__attribute(V__AGENT,s__Male))
)

Government.kif 1211-1217
( ∀ [V__POLITY,V__AGENT,V__ELECTION,V__ACT]
   ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)

s__instance(V__ELECTION,s__ElectionFn(V__POLITY))

s__instance(V__ACT,s__VotingFn(V__ELECTION))

s__agent(V__ACT,V__AGENT))

s__attribute(V__AGENT,s__Male))
)

Government.kif 1219-1226
( ∀ [V__POLITY,V__AGENT,V__VOTINGAGE,V__AGE,V__ELECTION]
   ((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
   ∧
   s__citizen(V__AGENT,V__POLITY)

s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)

s__age(V__AGENT,V__AGE)

s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)

s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))

s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
)

Government.kif 1093-1101
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1172
( ∀ [V__POLITY]
   (s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))

(∀ [V__AGENT,V__ELECTION,V__VOTINGAGE,V__AGE]
   ((s__citizen(V__AGENT,V__POLITY)
     ∧
     s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
   ∧
   s__age(V__AGENT,V__AGE)

s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)

s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))

s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))))
)

Government.kif 1081-1091

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
No TPTP formula. May not be expressible in strict first order. Government.kif 1014-1023
No TPTP formula. May not be expressible in strict first order. Government.kif 950-959
( ∀ [V__COUNTRY]
   ((s__instance(V__COUNTRY,s__GeopoliticalArea) ∧
       s__governmentType(V__COUNTRY,s__Democracy))
     ⇒
     s__subProposition(s__VoterCitizenshipRequirement,s__RegionalLawFn(V__COUNTRY)))
)

Government.kif 910-914
( ∀ [V__COUNTRY]
   ((s__instance(V__COUNTRY,s__Nation) ∧
       s__governmentType(V__COUNTRY,s__Democracy))
     ⇒
     (∃ [V__SUFFRAGE]
       (s__instance(V__SUFFRAGE,s__SuffrageLaw) ∧
         s__subProposition(V__SUFFRAGE,s__RegionalLawFn(V__COUNTRY)))))
)

Government.kif 899-906
No TPTP formula. May not be expressible in strict first order. Government.kif 1174-1192
( ∀ [V__COUNTRY]
   (s__instance(V__COUNTRY,s__Nation) ⇒
     (∃ [V__AGERULE]
       (s__instance(V__AGERULE,s__VoterAgeRequirement) ∧
         s__subProposition(V__AGERULE,s__RegionalLawFn(V__COUNTRY)))))
)

Government.kif 928-933
( ∀ [V__AREA,V__TYPE]
   (s__legalSystemType(V__AREA,V__TYPE)
   ⇒
   s__attribute(s__RegionalLawFn(V__AREA)
,V__TYPE))
)

Government.kif 884-886
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1172


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners