TreeView Knowledge Base Browser - electionDatePlannedForPosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1740-1743
No TPTP formula. May not be expressible in strict first order.	Government.kif 1736-1736	O argumento numero 1 de electionDatePlannedForPosition e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1738-1738	O argumento numero 3 de electionDatePlannedForPosition e' uma instancia de Role Social
No TPTP formula. May not be expressible in strict first order.	Government.kif 1737-1737	O argumento numero 2 de electionDatePlannedForPosition e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 1735-1735	electionDatePlannedForPosition e' uma instancia de Predicado Ternario

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