voteFractionReceived - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - voteFractionReceived

voteFractionReceived

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1826-1829
No TPTP formula. May not be expressible in strict first order.	Government.kif 1821-1821	O argumento numero 1 de voteFractionReceived e' uma instancia de Election
No TPTP formula. May not be expressible in strict first order.	Government.kif 1822-1822	O argumento numero 2 de voteFractionReceived e' uma instancia de Role Social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1823-1823	O argumento numero 3 de voteFractionReceived e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1824-1824	O argumento numero 4 de voteFractionReceived e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Government.kif 1820-1820	voteFractionReceived e' uma instancia de Predicado Quaternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2603-2603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2602-2602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2601-2601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61967-61967
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61966-61966
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61965-61965

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1857-1864	Election e' uma instancia de PopularElection electionWinner Election, Role Social and AutonomousAgent voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real AutonomousAgent e' igual a AutonomousAgent Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Government.kif 1846-1856	Election e' uma instancia de PopularElection electionWinner Election, Role Social and AutonomousAgent voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real AutonomousAgent Numero Real voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real AutonomousAgent e' igual a AutonomousAgent Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Government.kif 1831-1833	voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real candidateForPosition Election, Role Social and AutonomousAgent

consequent

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

Government.kif 1846-1856

Election e' uma instancia de PopularElection electionWinner Election, Role Social and AutonomousAgent voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real
AutonomousAgent Numero Real voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real AutonomousAgent e' igual a AutonomousAgent Numero Real e' maior ou igual a Numero Real

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