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

Formal Language: 



KB Term:  Term intersection
English Word: 

  citizen

Sigma KEE - citizen
citizen

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


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

Merge.kif 17036-17037
s__documentation(s__citizen__m,s__EnglishLanguage,'(citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION.')

Merge.kif 17034-17035
s__domain(s__citizen__m,1,s__Human)

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

Merge.kif 17033-17033 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 17031-17031 citizen is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__citizen__m,s__BinaryPredicate)

Merge.kif 17030-17030 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 335-335
s__termFormat(s__ChineseLanguage,s__citizen__m,'公民')

chinese_format.kif 554-554 "公民" is the printable form of citizen in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__citizen__m,'citizen')

domainEnglishFormat.kif 2904-2904 "citizen" is the printable form of citizen in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
( ∀ [V__P,V__C]
   ((s__instance(V__P,s__Human)s__and__ms__instance(V__C,s__Nation))
    s__=>((s__citizen(V__P,V__C)
      s__and__m(s__not__m(s__exists__m[V__L]
       (s__instance(V__L,s__Object)s__and__ms__located(V__P,V__L)))))
s__=>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__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
s__and__ms__age(V__AGENT,V__AGE)
s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
s__=>(s__exists__m[V__VOTING]
(s__instance(V__VOTING,s__Process)s__and__m(s__instance(V__VOTING,s__VotingFn(V__ELECTION))
s__and__ms__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__AGENT,V__POLITY,V__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
s__=>s__attribute(V__AGENT,s__Male)))
)

Government.kif 1211-1217
( ∀ [V__AGENT,V__POLITY,V__ACT,V__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__ACT,s__Process)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
s__and__ms__instance(V__ACT,s__VotingFn(V__ELECTION))
s__and__ms__agent(V__ACT,V__AGENT))
s__=>s__attribute(V__AGENT,s__Male)))
)

Government.kif 1219-1226
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
s__and__ms__age(V__AGENT,V__AGE)
s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
s__=>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. MilitaryPersons.kif 70-78
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 92-99

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


( ∀ [V__POSITION,V__PERSON,V__AREA]
   ((s__instance(V__POSITION,s__Position)s__and__ms__instance(V__PERSON,s__Human))
    s__=>((s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
      s__and__ms__instance(V__AREA,s__Nation))
    s__=>s__citizen(V__PERSON,V__AREA)))
)

Government.kif 1530-1534
No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
( ∀ [V__COUNTRY1,V__ROLE,V__COUNTRY2]
   ((s__instance(V__COUNTRY1,s__Nation)s__and__ms__instance(V__ROLE,s__Position)s__and__ms__instance(V__COUNTRY2,s__Agent))
    s__=>((s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE,V__COUNTRY2)
      s__and__ms__subAttribute(V__ROLE,s__DiplomaticAgent))
    s__=>(s__exists__m[V__PERSON]
       (s__instance(V__PERSON,s__Human)s__and__ms__citizen(V__PERSON,V__COUNTRY1)
      s__and__ms__diplomaticRepresentativeInRole(V__COUNTRY1,V__PERSON,V__ROLE,V__COUNTRY2)))))
)

Government.kif 4519-4527
( ∀ [V__POSITION,V__PERSON,V__AREA]
   ((s__instance(V__POSITION,s__Position)s__and__ms__instance(V__PERSON,s__Human))
    s__=>((s__headOfGovernment(V__AREA,V__POSITION,V__PERSON)
      s__and__ms__instance(V__AREA,s__Nation))
    s__=>s__citizen(V__PERSON,V__AREA)))
)

Government.kif 1569-1573
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 1174-1192
No TPTP formula. May not be expressible in strict first order. Government.kif 1156-1172
( ∀ [V__POLITY]
   (s__instance(V__POLITY,s__Nation)s__=>(s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
  s__=>(s__forall__m[V__AGENT,V__ELECTION,V__VOTINGAGE,V__AGE]
     ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__AGE,s__TimeDuration))
      s__=>((s__citizen(V__AGENT,V__POLITY)
        s__and__ms__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
      s__and__ms__age(V__AGENT,V__AGE)
    s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
  s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
s__=>s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))))))
)

Government.kif 1081-1091

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


No TPTP formula. May not be expressible in strict first order. Government.kif 916-924 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 1069-1078 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 1129-1141 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 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