TreeView Knowledge Base Browser - electionDatePlannedForPosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1704-1707
No TPTP formula. May not be expressible in strict first order.	Government.kif 1700-1700	The number 1 argument of election date planned for position is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1702-1702	The number 3 argument of election date planned for position is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Government.kif 1701-1701	The number 2 argument of election date planned for position is a subclass of time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1699-1699	election date planned 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 840-840
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 839-839
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 838-838
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21414-21414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21413-21413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21412-21412