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



KB Term:  Term intersection
English Word: 

  Supersonic

Sigma KEE - electionDatePlannedForPosition
electionDatePlannedForPosition

appearance as argument number 1
-------------------------


(instance electionDatePlannedForPosition TernaryPredicate) Government.kif 1706-1706 election date planned for position is an instance of ternary predicate
(domain electionDatePlannedForPosition 1 AutonomousAgent) Government.kif 1707-1707 The number 1 argument of election date planned for position is an instance of agent
(domainSubclass electionDatePlannedForPosition 2 TimePosition) Government.kif 1708-1708 The number 2 argument of election date planned for position is a subclass of time position
(domain electionDatePlannedForPosition 3 SocialRole) Government.kif 1709-1709 The number 3 argument of election date planned for position is an instance of social role
(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 1711-1714 The number 3 argument of election date planned for position is an instance of social role

appearance as argument number 2
-------------------------


(format EnglishLanguage electionDatePlannedForPosition "%1 %p{is} %n{isn't} election date planned for position %2 for %3") domainEnglishFormat.kif 838-838
(format ChineseTraditionalLanguage electionDatePlannedForPosition "%1 %p{是} %n{不是} 對於 %3 計畫給職位 %2 的 election 日期") domainEnglishFormat.kif 839-839
(format ChineseLanguage electionDatePlannedForPosition "%1 %p{是} %n{不是} 对于 %3 计画给职位 %2 的 election 日期") domainEnglishFormat.kif 840-840
(termFormat EnglishLanguage electionDatePlannedForPosition "election date planned for position") domainEnglishFormat.kif 21414-21414
(termFormat ChineseTraditionalLanguage electionDatePlannedForPosition "計劃選舉日期") domainEnglishFormat.kif 21415-21415
(termFormat ChineseLanguage electionDatePlannedForPosition "计划选举日期") domainEnglishFormat.kif 21416-21416


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners