Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - electionDatePlannedForPosition
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 1740-1743
(domain electionDatePlannedForPosition 1 AutonomousAgent) Government.kif 1736-1736 The number 1 argument of election date planned for position is an instance of agent
(domain electionDatePlannedForPosition 3 SocialRole) Government.kif 1738-1738 The number 3 argument of election date planned for position is an instance of social role
(domainSubclass electionDatePlannedForPosition 2 TimePosition) Government.kif 1737-1737 The number 2 argument of election date planned for position is a subclass of time position
(instance electionDatePlannedForPosition TernaryPredicate) Government.kif 1735-1735 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 21414-21414
(termFormat ChineseTraditionalLanguage electionDatePlannedForPosition "計劃選舉日期") domainEnglishFormat.kif 21413-21413
(termFormat EnglishLanguage electionDatePlannedForPosition "election date planned for position") domainEnglishFormat.kif 21412-21412


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