TreeView Knowledge Base Browser - suffrageAgeMaximum

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

suffrageAgeMaximum

Sigma KEE - suffrageAgeMaximum

suffrageAgeMaximum

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1016-1018
No TPTP formula. May not be expressible in strict first order.	Government.kif 1020-1020	域選舉年齡最大值, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1021-1021	域選舉年齡最大值, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1014-1014	例選舉年齡最大值 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2407-2407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2406-2406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2405-2405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55933-55933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55932-55932
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55931-55931

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1029-1038	例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀 TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀 and TimeDurationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 1075-1084	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀年齡 AutonomousAgent and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1062-1073	例選舉 and AutonomousAgent 的 election 例 Process and 選舉的 voting agent Process and AutonomousAgent 測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀 RealNumber 年齡 AutonomousAgent and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object 年齡 Object and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	測量 RealNumber and 年持續時間是 AutonomousAgent 的 suffrage 最大年紀例選舉 and AutonomousAgent 的 election 能力選舉的 voting , agent and Object RealNumber 年齡 Object and 測量 RealNumber and 年持續時間小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1023-1027	TimeDuration 是 TimeDurationNT 的 suffrage 最大年紀例 TimeDurationNT and Organization 例 TimeDurationNT and GeopoliticalArea

consequent

No TPTP formula. May not be expressible in strict first order.

Government.kif 1029-1038

例 GeopoliticalArea and GeopoliticalArea TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀
TimeDurationRULE 例 TimeDurationRULE and 選民年齡要求次提案 TimeDurationRULE and GeopoliticalArea 的 regional 法律包含信息 TimeDuration 是 GeopoliticalArea 的 suffrage 最大年紀 and TimeDurationRULE

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 is open source software produced by Articulate Software and its partners