candidateForPosition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - candidateForPosition

candidateForPosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1842-1844
No TPTP formula. May not be expressible in strict first order.	Government.kif 1838-1838	The number 1 argument of candidate for position is an instance of election
No TPTP formula. May not be expressible in strict first order.	Government.kif 1839-1839	The number 2 argument of candidate for position is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Government.kif 1840-1840	The number 3 argument of candidate for position is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1837-1837	candidate for position is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 344-344
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 343-343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 342-342
No TPTP formula. May not be expressible in strict first order.	Government.kif 1875-1875	election winner is a subrelation of candidate for position
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12943-12943
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12942-12942
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12941-12941

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1850-1854	If an election candidate for position a social role for a cognitive agent and an agent is an agent of the election, then the cognitive agent desires the cognitive agent holds the position of the social role in the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1846-1848	If an election candidate for position a social role for an agent, then the social role is an election for position of the election

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1753-1758	If a social role is an election for position of an election, then there exists an agent such that the agent is an instance of human and the election candidate for position the social role for the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1867-1869	If an election is vote fraction received a social role for an agent with a real number, then the election candidate for position the social role for the agent

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