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