| 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 1702-1705 | |
| (domain electionDatePlannedForPosition 1 AutonomousAgent) | Government.kif 1698-1698 | The number 1 argument of election date planned for position is an instance of agent |
| (domain electionDatePlannedForPosition 3 SocialRole) | Government.kif 1700-1700 | The number 3 argument of election date planned for position is an instance of social role |
| (domainSubclass electionDatePlannedForPosition 2 TimePosition) | Government.kif 1699-1699 | The number 2 argument of election date planned for position is a subclass of time position |
| (instance electionDatePlannedForPosition TernaryPredicate) | Government.kif 1697-1697 | election date planned for position is an instance of ternary predicate |
| 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 21429-21429 | |
| (termFormat ChineseTraditionalLanguage electionDatePlannedForPosition "計劃選舉日期") | domainEnglishFormat.kif 21428-21428 | |
| (termFormat EnglishLanguage electionDatePlannedForPosition "election date planned for position") | domainEnglishFormat.kif 21427-21427 |
|
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