Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
starts
Sigma KEE - starts
starts
appearance as argument number 1
(
documentation
starts
ChineseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是
TimeInterval
有共同的开始
TimePoint
,而 ?INTERVAL1 比 ?INTERVAL2 先 结束。")
chinese_format.kif 2701-2703
(
documentation
starts
EnglishLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both
TimeInterval
s that have the same initial
TimePoint
and that ?INTERVAL1 ends before ?INTERVAL2.")
Merge.kif 8040-8042
(
documentation
starts
JapaneseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期
TimePoint
を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。")
japanese_format.kif 1424-1426
(
domain
starts
1
TimeInterval
)
Merge.kif 8037-8037
The number 1 argument of
starts
is an
instance
of
time interval
(
domain
starts
2
TimeInterval
)
Merge.kif 8038-8038
The number 2 argument of
starts
is an
instance
of
time interval
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8035-8035
starts
is an
instance
of
irreflexive relation
(
instance
starts
TemporalRelation
)
Merge.kif 8033-8033
starts
is an
instance
of
temporal relation
(
instance
starts
TotalValuedRelation
)
Merge.kif 8036-8036
starts
is an
instance
of
total valued relation
(
instance
starts
TransitiveRelation
)
Merge.kif 8034-8034
starts
is an
instance
of
transitive relation
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
starts
is a
subrelation
of
temporal part
appearance as argument number 2
(
format
ChineseLanguage
starts
"%1 %n
starts
了才到 %2 ")
chinese_format.kif 419-419
(
format
EnglishLanguage
starts
"%1 %n{doesn't} start%p{s} %2")
english_format.kif 425-425
(
format
FrenchLanguage
starts
"%1 %n{ne} commence %n{pas} %2")
french_format.kif 244-244
(
format
ItalianLanguage
starts
"%1 %n{non} inizia%p{s} %2")
relations-it.txt 269-269
(
format
JapaneseLanguage
starts
"%1 は %2 を start%p{s} %n{ない}")
japanese_format.kif 2038-2038
(
format
PortugueseLanguage
starts
"%1 %n{nao} comeca em %n %2")
portuguese_format.kif 196-196
(
format
cz
starts
"%1 %n{doesn't} start%p{s} %2")
relations-cz.txt 249-249
(
format
de
starts
"%1 beginnt %2 %n{nicht}")
relations-de.txt 544-544
(
format
hi
starts
"%1 %2 ko %n{nahiin} praarambha karataa hai")
relations-hindi.txt 306-306
(
format
ro
starts
"%1 %n{nu} start%t{începe} %2")
relations-ro.kif 265-265
(
format
sv
starts
"%1 påbörjar %n{inte} %2")
relations-sv.txt 265-265
(
format
tg
starts
"%1 %n ay simula ng %2")
relations-tg.txt 461-461
(
termFormat
ChineseLanguage
starts
"启动")
domainEnglishFormat.kif 55074-55074
(
termFormat
ChineseLanguage
starts
"开始")
chinese_format.kif 420-420
(
termFormat
ChineseTraditionalLanguage
starts
"啟動")
domainEnglishFormat.kif 55073-55073
(
termFormat
EnglishLanguage
starts
"starts")
domainEnglishFormat.kif 55072-55072
antecedent
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?A
AscensionThursday
)
(
during
?E ?Y)
(
during
?A ?Y)
(
starts
?E ?I)
(
finishes
?A ?I))
(
duration
?I
(
MeasureFn
40
DayDuration
)))
Media.kif 538-547
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
Easter sunday
and
a third time interval
is an
instance
of
ascension thursday
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the other time interval
start
s
a fourth time interval
and
the third time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 40
day duration
(s)
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
PalmSunday
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?P ?I)
(
finishes
?E ?I))
(
duration
?I
(
MeasureFn
8
DayDuration
)))
Media.kif 473-482
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
Easter sunday
and
a third time interval
is an
instance
of
palm sunday
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the third time interval
start
s
a fourth time interval
and
the other time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 8
day duration
(s)
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
Pentecost
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?E ?I)
(
finishes
?P ?I))
(
duration
?I
(
MeasureFn
50
DayDuration
)))
Media.kif 559-568
If
a time interval
is an
instance
of
year
and
another time interval
is an
instance
of
Easter sunday
and
a third time interval
is an
instance
of
Pentecost
and
the other time interval
takes place
during
the time interval
and
the third time interval
takes place
during
the time interval
and
the other time interval
start
s
a fourth time interval
and
the third time interval
finish
es
the fourth time interval
,
then
duration
of
the fourth time interval
is 50
day duration
(s)
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
startup block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the other time interval
start
s
a third time interval
and the
time
of existence of
the computer process
is
equal
to
the time interval
and the
end
of
the third time interval
is
equal
to the
beginning
of
the time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8044-8052
If
a time interval
start
s
another time interval
,
then the
beginning
of
the time interval
is
equal
to the
beginning
of
the other time interval
and the
end
of
the time interval
happens
before
the
end
of
the other time interval
consequent
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
If
FOK order
is an
attribute
of
an agreement
and
a time interval
is an
agreement
period of
the agreement
,
then there exist
a process
and
another time interval
such that
the process
is an
instance
of
filling an order
and
the agreement
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
the other time interval
and
the other time interval
start
s
the time interval
or there exist
another process
and
a third time interval
such that
the other process
is an
instance
of
cancelling an order
and
the agreement
is a
patient
of
the other process
and the
time
of existence of
the other process
is
equal
to
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
If
IOC order
is an
attribute
of
an agreement
and
a time interval
is an
agreement
period of
the agreement
,
then there exist
a process
and
another time interval
such that
the process
is an
instance
of
filling an order
and
the agreement
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
the other time interval
and
the other time interval
start
s
the time interval
or there exist
another process
and
a third time interval
such that
the other process
is an
instance
of
cancelling an order
and
the agreement
is a
patient
of
the other process
and the
time
of existence of
the other process
is
equal
to
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
If the
beginning
of
a time interval
is
equal
to the
beginning
of
another time interval
and the
end
of
the time interval
happens
before
the
end
of
the other time interval
,
then
the time interval
start
s
the other time interval
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY ?INST)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
instance
?INST ?YEAR)
(
temporalPart
?DAY ?INST))))
Economy.kif 3754-3764
If
a time interval
is
equal
to the
fiscal
year starting of
an agent
and
a kind of year
and
another kind of time interval
is a
fiscal
year period of
the agent
and
the time interval
is an
instance
of
another kind of time interval
,
then there exist
a third time interval
and
a time position
such that
the third time interval
is an
instance
of
day
and
the third time interval
start
s
the time interval
and
the time position
is an
instance
of
a kind of year
and
the third time interval
is a
part
of
the time position
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
If
a process
is an
instance
of
ambulating
and
a time interval
is
equal
to the
time
of existence of
the process
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
stepping
and
the third process
is an
instance
of
stepping
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
and the
time
of existence of
the other process
start
s
the time interval
and the
time
of existence of
the third process
finish
es
the time interval
and
the other process
is not
equal
to
the third process
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21474-21489
If
a process
is an
instance
of
blushing
and
an agent
experience
s
the process
,
then there exist
a time interval
,
another time interval
,, ,
an entity
and
another entity
such that
the entity
is an
instance
of
emotional state
and
the other entity
is an
instance
of
emotional state
and
the entity
is not
equal
to
the other entity
and
the entity
is an
attribute
of
the agent
holds
during
the time interval
and
the other entity
is an
attribute
of
the agent
holds
during
the other time interval
and the
time
of existence of
the process
start
s
the other time interval
and the
time
of existence of
the process
finish
es
the time interval
(=>
(
and
(
instance
?FALL
FallingAsleep
)
(
experiencer
?FALL ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?FALL))
(
finishes
?FINISH
(
WhenFn
?FALL))
(
holdsDuring
?START
(
attribute
?AGENT
Awake
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Asleep
)))))
Mid-level-ontology.kif 16380-16389
If
a process
is an
instance
of
falling asleep
and
an agent
experience
s
the process
,
then there exist
a time interval
and
another time interval
such that
the time interval
start
s the
time
of existence of
the process
and
the other time interval
finish
es the
time
of existence of
the process
and
awake
is an
attribute
of
the agent
holds
during
the time interval
and
asleep
is an
attribute
of
the agent
holds
during
the other time interval
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
If
a time interval
is an
instance
of
beginning operations
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the time interval
,
then
the time interval
start
s the
time
of existence of
the agent
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
If
a process
is an
instance
of
translocation
and
another process
is an
instance
of
translocation
and
the process
originate
s at
an object
and
the other process
originate
s at
another object
and
the process
end
s up at
the other object
and
the other process
end
s up at
an entity
and
an agent
experience
s
the process
and
the agent
experience
s
the other process
,
then there exists
a third process
such that
the third process
is an
instance
of
translocation
and
the third process
originate
s at
the object
and
the third process
end
s up at
the entity
and
the process
is a
subprocess
of
the third process
and
the other process
is a
subprocess
of
the third process
and
the agent
experience
s
the third process
and the
time
of existence of
the process
start
s the
time
of existence of
the third process
and the
time
of existence of
the other process
finish
es the
time
of existence of
the third process
(=>
(
and
(
instance
?WAKE
WakingUp
)
(
experiencer
?WAKE ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?WAKE))
(
finishes
?FINISH
(
WhenFn
?WAKE))
(
holdsDuring
?START
(
attribute
?AGENT
Asleep
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Awake
)))))
Mid-level-ontology.kif 16395-16404
If
a process
is an
instance
of
waking up
and
an agent
experience
s
the process
,
then there exist
a time interval
and
another time interval
such that
the time interval
start
s the
time
of existence of
the process
and
the other time interval
finish
es the
time
of existence of
the process
and
asleep
is an
attribute
of
the agent
holds
during
the time interval
and
awake
is an
attribute
of
the agent
holds
during
the other time interval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then there exists
a third time interval
such that
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
start
s
the time interval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9435-9445
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
another kind of time interval
,
then for all
a third time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
doesn't
start
the time interval
,
then there exists
a fourth time interval
such that
the fourth time interval
is an
instance
of
the other kind of time interval
and
the fourth time interval
meet
s
the third time interval
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8795-8801
If
a time interval
is an
instance
of
afternoon
,
then there exist
another time interval
and
a kind of day
such that
the other time interval
is an
instance
of the
hour
12 and
the other time interval
start
s
the time interval
(=>
(
instance
?AM
AnteMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
24 ?D))
(
starts
?HOUR1 ?AM)
(
instance
?HOUR2
(
HourFn
12 ?D))
(
finishes
?HOUR2 ?AM))))
Mid-level-ontology.kif 19095-19102
If
a time interval
is an
instance
of
ante meridiem
,
then there exist
a kind of day
,
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of the
hour
24 and
the other time interval
start
s
the time interval
and
the third time interval
is an
instance
of the
hour
12 and
the third time interval
finish
es
the time interval
(=>
(
instance
?D
Divorcing
)
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
holdsDuring
?T2
(
not
(
spouse
?P1 ?P2)))
(
finishes
?T1 ?D)
(
starts
?T2 ?D))))
Mid-level-ontology.kif 1025-1034
If
a time interval
is an
instance
of
divorcing
,
then there exist
an entity
,
another entity
,, ,
another time interval
and
a third time interval
such that
the entity
is the
spouse
of
the other entity
holds
during
the other time interval
and not
the entity
is the
spouse
of
the other entity
holds
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the third time interval
start
s
the time interval
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8879-8886
If
a time interval
is an
instance
of
day time
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
sunrise
and
the third time interval
is an
instance
of
sunset
and
the other time interval
start
s
the time interval
and
the third time interval
finish
es
the time interval
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8456-8463
If
a time interval
is an
instance
of the
recurring
period
from
another kind of time interval
to
a third kind of time interval
,
then there exist
a fourth time interval
and
a fifth time interval
such that
the fourth time interval
is an
instance
of
another kind of time interval
and
the fifth time interval
is an
instance
of
a third kind of time interval
and
the fourth time interval
start
s
the time interval
and
the fifth time interval
finish
es
the time interval
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
If
a time position
is an
instance
of
time interval
,
then immediately
after
the time position
start
s
after
the time position
(=>
(
instance
?LEAVE
Leaving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?LEAVE ?GO)
(
starts
(
WhenFn
?LEAVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17300-17306
If
a process
is an
instance
of
leaving
,
then there exists
another process
such that
the other process
is an
instance
of
translocation
and
the process
is a
subprocess
of
the other process
and the
time
of existence of
the process
start
s the
time
of existence of
the other process
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
If
a time interval
is an
instance
of
muakhar sadaq
,
then there exist
an agent
,
an entity
,, ,
another time interval
and
a third time interval
such that
the agent
is an
agent
of
the time interval
and
the time interval
originate
s at
the agent
and
the time interval
end
s up at
the entity
and
the entity
is the
wife
of
the agent
holds
during
the other time interval
and
the entity
is the
wife
of
the agent
doesn't hold
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the other time interval
happens
before
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
If
a time interval
is an
instance
of
muqaddam sadaq
,
then there exist
an agent
,
an entity
,, ,
another time interval
and
a third time interval
such that
the agent
is an
agent
of
the time interval
and
the time interval
originate
s at
the agent
and
the time interval
end
s up at
the entity
and
the entity
is the
wife
of
the agent
doesn't hold
during
the other time interval
and
the entity
is the
wife
of
the agent
holds
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the other time interval
happens
before
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
If
a time interval
is an
instance
of
night time
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
sunrise
and
the third time interval
is an
instance
of
sunset
and
the third time interval
start
s
the time interval
and
the other time interval
finish
es
the time interval
(=>
(
instance
?PM
PostMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
12 ?D))
(
starts
?HOUR1 ?PM)
(
instance
?HOUR2
(
HourFn
24 ?D))
(
finishes
?HOUR2 ?PM))))
Mid-level-ontology.kif 19109-19116
If
a time interval
is an
instance
of
post meridiem
,
then there exist
a kind of day
,
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of the
hour
12 and
the other time interval
start
s
the time interval
and
the third time interval
is an
instance
of the
hour
24 and
the third time interval
finish
es
the time interval
(=>
(
instance
?S
(
StartFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
starts
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 424-429
If
a physical
is an
instance
of the
start
of
a process
,
then there exists
another physical
such that
the other physical
is an
instance
of
the process
and the
time
of existence of
the physical
start
s the
time
of existence of
the other physical
(=>
(
instance
?SS
SportServe
)
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
subProcess
?SS ?S)
(
starts
(
WhenFn
?SS)
(
WhenFn
?S)))))
Mid-level-ontology.kif 17070-17076
If
a process
is an
instance
of
sport serve
,
then there exists
another process
such that
the other process
is an
instance
of
sport
and
the process
is a
subprocess
of
the other process
and the
time
of existence of
the process
start
s the
time
of existence of
the other process
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1970-1978
There exists
a time interval
such that
the time interval
is an
instance
of
time interval
and
the time interval
finish
es the
time
of existence of
Jesus of Nazareth
and
the time interval
start
s the
time
of existence of
Twelve apostles
and for all
an entity
if
the entity
is a
member
of
Twelve apostles
holds
during
the time interval
,
then
Jesus of Nazareth
is a
friend
of
the entity
holds
during
the time interval
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 is
open source software
produced by
Articulate Software
and its partners