Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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