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	域計劃選舉日期, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1738-1738	域計劃選舉日期, 3 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 1737-1737	域子類計劃選舉日期, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Government.kif 1735-1735	例計劃選舉日期 and TernaryPredicate

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