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	计划选举日期的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1702-1702	计划选举日期的 3 数量是身分的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1701-1701	计划选举日期的 2 数量是时间位置的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 1699-1699	计划选举日期是三元谓语的 instance

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