electionDatePlannedForPosition |
appearance as argument number 1 |
(documentation electionDatePlannedForPosition EnglishLanguage "(electionDatePlannedForPosition ?AGENT ?TIME ?POSITION) means that the AutonomousAgent ?AGENT (a Nation, Government, or Organization) plans to hold an Election on the date indicated by ?TIME for position(s) ?POSITION.") | Government.kif 1704-1707 | |
(domain electionDatePlannedForPosition 1 AutonomousAgent) | Government.kif 1700-1700 | electionDatePlannedForPosition の数値 1 引数は AutonomousAgent の instance では %n |
(domain electionDatePlannedForPosition 3 SocialRole) | Government.kif 1702-1702 | electionDatePlannedForPosition の数値 3 引数は 社会的役割 の instance では %n |
(domainSubclass electionDatePlannedForPosition 2 TimePosition) | Government.kif 1701-1701 | electionDatePlannedForPosition の数値 2 引数は 時間位置 のsubclass では %n |
(instance electionDatePlannedForPosition TernaryPredicate) | Government.kif 1699-1699 | electionDatePlannedForPosition は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage electionDatePlannedForPosition "%1 %p{是} %n{不是} 对于 %3 计画给职位 %2 的 election 日期") | domainEnglishFormat.kif 840-840 | |
(format ChineseTraditionalLanguage electionDatePlannedForPosition "%1 %p{是} %n{不是} 對於 %3 計畫給職位 %2 的 election 日期") | domainEnglishFormat.kif 839-839 | |
(format EnglishLanguage electionDatePlannedForPosition "%1 %p{is} %n{isn't} election date planned for position %2 for %3") | domainEnglishFormat.kif 838-838 | |
(termFormat ChineseLanguage electionDatePlannedForPosition "计划选举日期") | domainEnglishFormat.kif 21414-21414 | |
(termFormat ChineseTraditionalLanguage electionDatePlannedForPosition "計劃選舉日期") | domainEnglishFormat.kif 21413-21413 | |
(termFormat EnglishLanguage electionDatePlannedForPosition "election date planned for position") | domainEnglishFormat.kif 21412-21412 |