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 16984-16985
s__documentation(s__citizen__m,s__EnglishLanguage,'(citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION.')

Merge.kif 16982-16983
s__domain(s__citizen__m,1,s__Human)

Merge.kif 16980-16980
s__domain(s__citizen__m,2,s__Nation)

Merge.kif 16981-16981
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 16979-16979
s__instance(s__citizen__m,s__BinaryPredicate)

Merge.kif 16978-16978

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__format(s__FrenchLanguage,s__citizen__m,'%1 est %n un citoyen de %2')

french_format.kif 324-324
s__format(s__ItalianLanguage,s__citizen__m,'%1 � uncittadino di %2')

relations-it.txt 44-44
s__format(s__PortugueseLanguage,s__citizen__m,'%1 e %n um cidadao de %2')

portuguese_format.kif 276-276
s__format(s__de__m,s__citizen__m,'%1 ist der buerger von %2')

relations-de.txt 724-724
s__format(s__hi__m,s__citizen__m,'%1 %2 kaa naagarika hai')

relations-hindi.txt 86-86
s__format(s__tg__m,s__citizen__m,'%1 ay ang mamamayan ng %2')

relations-cb.txt 78-78
s__termFormat(s__ChineseLanguage,s__citizen__m,'公民')

chinese_format.kif 554-554
s__termFormat(s__EnglishLanguage,s__citizen__m,'citizen')

domainEnglishFormat.kif 2904-2904
s__termFormat(s__tg__m,s__citizen__m,'mamamayan')

relations-tg.txt 105-105

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
( ∀ [V__P,V__C]
   ((s__citizen(V__P,V__C)
     ∧
     (¬ (∃ [V__L]
         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__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__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. MilitaryPersons.kif 70-78
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 92-99

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


( ∀ [V__AREA,V__POSITION,V__PERSON]
   ((s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
     ∧
     s__instance(V__AREA,s__Nation))
   ⇒
   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__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 4519-4527
( ∀ [V__AREA,V__POSITION,V__PERSON]
   ((s__headOfGovernment(V__AREA,V__POSITION,V__PERSON)
     ∧
     s__instance(V__AREA,s__Nation))
   ⇒
   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__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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 916-924
No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141


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