| appearance as argument number 1 |
|
| (documentation electionDatePlannedForPosition EnglishLanguage "(electionDatePlannedForPosition ?AGENT ?TIME ?POSITION) means that the Agent ?AGENT (a Nation, Government, or Organization) plans to hold an Election on the date indicated by ?TIME for position(s) ?POSITION.") | Government.kif 1694-1697 | |
| (domain electionDatePlannedForPosition 1 Agent) | Government.kif 1690-1690 | domain electionDatePlannedForPosition, 1 and Agent |
| (domain electionDatePlannedForPosition 3 SocialRole) | Government.kif 1692-1692 | domain electionDatePlannedForPosition, 3 and SocialRole |
| (domainSubclass electionDatePlannedForPosition 2 TimePosition) | Government.kif 1691-1691 | domainSubclass electionDatePlannedForPosition, 2 and TimePosition |
| (instance electionDatePlannedForPosition TernaryPredicate) | Government.kif 1689-1689 | instance electionDatePlannedForPosition and TernaryPredicate |
| 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 21337-21337 | |
| (termFormat ChineseTraditionalLanguage electionDatePlannedForPosition "計劃選舉日期") | domainEnglishFormat.kif 21336-21336 | |
| (termFormat EnglishLanguage electionDatePlannedForPosition "election date planned for position") | domainEnglishFormat.kif 21335-21335 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners