TreeView Knowledge Base Browser - electionForPosition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

electionForPosition

Sigma KEE - electionForPosition

electionForPosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1713-1715
No TPTP formula. May not be expressible in strict first order.	Government.kif 1710-1710	域選舉職位, 1 and 選舉
No TPTP formula. May not be expressible in strict first order.	Government.kif 1711-1711	域選舉職位, 2 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 1709-1709	例選舉職位 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 852-852
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 851-851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 850-850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21432-21432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21431-21431
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21430-21430

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1552-1559	Position GeopoliticalArea 的州類別的 chief agent 選舉 and GeopoliticalArea 例選舉 and 選舉 Position 是職位選舉的 election 例選舉 and 民眾選舉 %2 是 1% 的 government 類別
No TPTP formula. May not be expressible in strict first order.	Government.kif 1795-1799	例 Organization and Organization Organization 的 member 是職位選舉的 election Organization 是組織選舉的 election
No TPTP formula. May not be expressible in strict first order.	Government.kif 1717-1722	SocialRole 是職位選舉的 election AutonomousAgent 例 AutonomousAgent and Human 選舉對於職位 SocialRole 的 candidate 對於 AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1810-1812	選舉對於職位 SocialRole 的 candidate 對於 AutonomousAgent SocialRole 是職位選舉的 election
No TPTP formula. May not be expressible in strict first order.	Government.kif 1791-1793	Organization 是組織選舉的 election Organization 的 member 是職位選舉的 election

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