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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - citizen
citizen

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


s__documentation(s__citizen__m,s__ChineseLanguage,'"(citizen ?PERSON ?NATION)的意思是 Human ?PERSON 是 Nation ?NATION 公民。"')

chinese_format.kif 3754-3755
s__documentation(s__citizen__m,s__EnglishLanguage,'"(citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION."')

Merge.kif 15548-15549
s__domain(s__citizen__m,n__1,s__Human)

Merge.kif 15546-15546 The number 1 argument of citizen is an instance of human
s__domain(s__citizen__m,n__2,s__Nation)

Merge.kif 15547-15547 The number 2 argument of citizen is an instance of nation
s__instance(s__citizen__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 15545-15545 citizen is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__citizen__m,s__BinaryPredicate)

Merge.kif 15544-15544 citizen is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__citizen__m,'"%1 %n 是 %2 的 citizen"')

chinese_format.kif 553-553
s__format(s__EnglishLanguage,s__citizen__m,'"%1 is %n a citizen of %2"')

english_format.kif 561-561
s__termFormat(s__ChineseLanguage,s__citizen__m,'"公民"')

chinese_format.kif 554-554
s__termFormat(s__ChineseTraditionalLanguage,s__citizen__m,'"公民"')

domainEnglishFormat.kif 14820-14820
s__termFormat(s__EnglishLanguage,s__citizen__m,'"citizen"')

domainEnglishFormat.kif 14819-14819

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1114
( ! [V__P,V__C] :
   ((s__instance(V__P,s__Human) &
       s__instance(V__C,s__Nation))
     =>
     (s__citizen(V__P,V__C)
     &
     ~(( ? [V__L] :
         ((s__instance(V__L,s__Object) &
             s__located(V__P,V__L))))))
=>
s__located(V__P,V__C)
)
)

Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__POLITY,s__Nation) &
       s__instance(V__AGE,s__TimeDuration) &
       s__instance(V__VOTINGAGE,s__TimeDuration) &
       s__instance(V__ELECTION,s__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__Process) &
(s__instance(V__VOTING,s__VotingFn(V__ELECTION))
&
s__agent(V__VOTING,V__AGENT)))))
)
)

Government.kif 1136-1147
No TPTP formula. May not be expressible in strict first order. Government.kif 1167-1185
( ! [V__AGENT,V__POLITY,V__ELECTION] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__POLITY,s__Nation) &
       s__instance(V__ELECTION,s__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 1204-1210
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__POLITY,s__Nation) &
       s__instance(V__ACT,s__Process) &
       s__instance(V__ELECTION,s__Election))
     =>
     (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 1212-1219
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__POLITY,s__Nation) &
       s__instance(V__AGE,s__TimeDuration) &
       s__instance(V__VOTINGAGE,s__TimeDuration) &
       s__instance(V__ELECTION,s__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 1086-1094
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 70-78
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 92-99

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


( ! [V__POSITION,V__AREA,V__PERSON] :
   ((s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
     &
     s__instance(V__AREA,s__Nation))
   =>
   s__citizen(V__PERSON,V__AREA)
)
)

Government.kif 1524-1528
No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1114
( ! [V__COUNTRY1,V__ROLE,V__COUNTRY2] :
   ((s__instance(V__COUNTRY1,s__Nation) &
       s__instance(V__ROLE,s__Position) &
       s__instance(V__COUNTRY2,s__Agent))
     =>
     (s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE,V__COUNTRY2)
     &
     s__subAttribute(V__ROLE,s__DiplomaticAgent))
   =>
   ( ? [V__PERSON] :
     ((s__instance(V__PERSON,s__Human) &
         s__citizen(V__PERSON,V__COUNTRY1)
       &
       s__diplomaticRepresentativeInRole(V__COUNTRY1,V__PERSON,V__ROLE,V__COUNTRY2))))
)
)

Government.kif 4513-4521
( ! [V__POSITION,V__AREA,V__PERSON] :
   ((s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (s__headOfGovernment(V__AREA,V__POSITION,V__PERSON)
     &
     s__instance(V__AREA,s__Nation))
   =>
   s__citizen(V__PERSON,V__AREA)
)
)

Government.kif 1563-1567
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 195-201
No TPTP formula. May not be expressible in strict first order. Government.kif 1167-1185
No TPTP formula. May not be expressible in strict first order. Government.kif 1149-1165
( ! [V__POLITY] :
   (s__instance(V__POLITY,s__Nation) =>
     s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
=>
( ! [V__AGENT, V__ELECTION, V__VOTINGAGE, V__AGE] :
   ((s__instance(V__AGENT,s__Human) &
       s__instance(V__ELECTION,s__Election) &
       s__instance(V__VOTINGAGE,s__TimeDuration) &
       s__instance(V__AGE,s__TimeDuration))
     =>
     (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 1074-1084

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 909-917 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1071 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1122-1134 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
contains information compulsory suffrage law


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