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
finishes
Sigma KEE - finishes
finishes
appearance as argument number 1
(
documentation
finishes
ChineseLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是
TimeInterval
有共同的结束
TimePoint
,而 ?INTERVAL2 比 ?INTERVAL1 先开始。")
chinese_format.kif 2704-2706
(
documentation
finishes
EnglishLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both
TimeInterval
s that have the same ending
TimePoint
and that ?INTERVAL2 begins before ?INTERVAL1.")
Merge.kif 8072-8074
(
documentation
finishes
JapaneseLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な
TimePoint
を持つ
TimeInterval
であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。")
japanese_format.kif 1427-1429
(
domain
finishes
1
TimeInterval
)
Merge.kif 8069-8069
The number 1 argument of
finishes
is an
instance
of
time interval
(
domain
finishes
2
TimeInterval
)
Merge.kif 8070-8070
The number 2 argument of
finishes
is an
instance
of
time interval
(
instance
finishes
IrreflexiveRelation
)
Merge.kif 8067-8067
finishes
is an
instance
of
irreflexive relation
(
instance
finishes
TemporalRelation
)
Merge.kif 8065-8065
finishes
is an
instance
of
temporal relation
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8068-8068
finishes
is an
instance
of
total valued relation
(
instance
finishes
TransitiveRelation
)
Merge.kif 8066-8066
finishes
is an
instance
of
transitive relation
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
finishes
is a
subrelation
of
temporal part
appearance as argument number 2
(
format
ChineseLanguage
finishes
"%1 %n
finishes
了才到 %2")
chinese_format.kif 421-421
(
format
EnglishLanguage
finishes
"%1 %n{doesn't} finish%p{es} %2")
english_format.kif 427-427
(
format
FrenchLanguage
finishes
"%1 %n{ne} finit %n{pas} %2")
french_format.kif 245-245
(
format
ItalianLanguage
finishes
"%1 %n{non} finisce%p{es} %2")
relations-it.txt 111-111
(
format
JapaneseLanguage
finishes
"%1 は %2 を finish%p{es} %n{ない}")
japanese_format.kif 2039-2039
(
format
PortugueseLanguage
finishes
"%1 %n{nao} termina em %n %2")
portuguese_format.kif 197-197
(
format
cz
finishes
"%1 %n{doesn't} finish%p{es} %2")
relations-cz.txt 250-250
(
format
de
finishes
"%1 beendet %2 %n{nicht}")
relations-de.txt 547-547
(
format
hi
finishes
"%1 %2 ko samaapta %n{nahiin} karataa hai")
relations-hindi.txt 151-151
(
format
ro
finishes
"%1 %n{nu} finish%t{terminã} %2")
relations-ro.kif 266-266
(
format
sv
finishes
"%1 avslutar %n{inte} %2")
relations-sv.txt 266-266
(
format
tg
finishes
"%1 %n simutin %2")
relations-tg.txt 232-232
(
termFormat
ChineseLanguage
finishes
"完成")
chinese_format.kif 422-422
(
termFormat
ChineseLanguage
finishes
"饰面")
domainEnglishFormat.kif 23876-23876
(
termFormat
ChineseTraditionalLanguage
finishes
"飾面")
domainEnglishFormat.kif 23875-23875
(
termFormat
EnglishLanguage
finishes
"finishes")
domainEnglishFormat.kif 23874-23874
(
termFormat
tg
finishes
"simutin")
relations-tg.txt 233-233
antecedent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
A time interval
is an
agreement
period of
a financial account
and
a day
finish
es
the time interval
if and only if
the day
is a
maturity
date of
the financial account
(=>
(
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
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
shutdown 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
a third time interval
finish
es
the time interval
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and the
beginning
of
the third time interval
is
equal
to the
end
of
the other time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
If
a time interval
finish
es
another time interval
,
then the
beginning
of
the other time interval
happens
before
the
beginning
of
the time interval
and the
end
of
the other time interval
is
equal
to the
end
of
the time interval
consequent
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
If
GTC 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 time interval
overlap
s
the other 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
finish
es
the time interval
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
If the
beginning
of
a time interval
happens
before
the
beginning
of
another time interval
and the
end
of
the time interval
is
equal
to the
end
of
the other time interval
,
then
the other time interval
finish
es
the time interval
(=>
(
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
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
If
a process
is an
instance
of
check-in service
and
the process
cause
s
another process
and
a physical
is an
instance
of
check-out service
,
then the
time
of existence of
the physical
finish
es the
time
of existence of
the other process
(=>
(
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
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
If
a time interval
is an
instance
of
ceasing operations
and
an agent
is an
instance
of
organization
and
the agent
is an
agent
of
the time interval
,
then
the time interval
finish
es the
time
of existence of
the agent
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
If
a physical
is an
instance
of
organism remains
and
an entity
is a
part
of
the physical
holds
during
the
time
of existence of
the physical
,
then there exists
another physical
such that
the other physical
is an
instance
of
organism
and the
time
of existence of
the other physical
happens
earlier
than the
time
of existence of
the physical
and the
time
of existence of
the physical
finish
es the
time
of existence of
the other physical
and
the entity
is a
part
of
the other physical
holds
during
the
time
of existence of
the other physical
(=>
(
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
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
If
an object
is an
instance
of
car alarm
and
another object
is an
instance
of
self powered road vehicle
and
the object
is a
part
of
the other object
,
then there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the object
has the purpose
if
the entity
is an
instance
of
stealing
or
the entity
is an
instance
of
damaging
and
the other entity
is an
instance
of
human
and
the other entity
is an
agent
of
the entity
and
the other object
is a
patient
of
the entity
and the
time
of existence of
the entity
is
equal
to
the third entity
and
the entity
is
partly
located
at
the fourth entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
radiating sound
and
the object
is an
agent
of
the fifth entity
and
the entity
cause
s
the fifth entity
and
the fifth entity
has the purpose there exists
a sixth entity
such that
the sixth entity
is an
instance
of
human
and
the sixth entity
is
near
to
the fourth entity
holds
during
the third entity
increase
s likelihood of
the sixth entity
know
s there exists
a seventh entity
such that
the seventh entity
is an
instance
of
stealing
or
the seventh entity
is an
instance
of
damaging
and
the seventh entity
is
partly
located
at
the fourth entity
and
the other object
is a
patient
of
the seventh entity
holds
during
the third entity
or the
time
of existence of
the fifth entity
finish
es the
time
of existence of
the entity
(=>
(
and
(
meatOfAnimal
?MEAT ?ANIMAL)
(
instance
?M ?MEAT))
(
exists
(?TIME ?A)
(
and
(
instance
?A ?ANIMAL)
(
finishes
?TIME
(
WhenFn
?A))
(
holdsDuring
?TIME
(
part
?M ?A)))))
Mid-level-ontology.kif 20356-20365
If
a kind of meat
is the
meat
of
a kind of animal
and
an entity
is an
instance
of
a kind of meat
,
then there exist
a time interval
and
a physical
such that
the physical
is an
instance
of
a kind of animal
and
the time interval
finish
es the
time
of existence of
the physical
and
the entity
is a
part
of
the physical
holds
during
the time interval
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
dateOfStatement
?Statement ?Date))
(
finishes
?Date ?Period))
FinancialOntology.kif 4070-4074
If
a time interval
is a
statement
period of
a bank statement
and
a day
is a
date
of statement of
the bank statement
,
then
the day
finish
es
the time interval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9416-9421
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
finish
es
the time interval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9423-9433
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
finish
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 third time interval
meet
s
the fourth time interval
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
If
an entity
is an
instance
of
ICU
and
another entity
stays
at
the entity
holds
during
a time position
,
then the statement there exists
a third entity
such that
the third entity
is an
instance
of
death
and the
time
of existence of
the third entity
finish
es
the time position
has the
modal
force
of
possibility
(=>
(
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
?ARRIVE
Arriving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?ARRIVE ?GO)
(
finishes
(
WhenFn
?ARRIVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17311-17317
If
a process
is an
instance
of
arriving
,
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
finish
es the
time
of existence of
the other process
(=>
(
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
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
If
a time position
is an
instance
of
time interval
,
then immediately
before
the time position
finish
es
before
the time position
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8807-8813
If
a time interval
is an
instance
of
morning
,
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
finish
es
the time interval
(=>
(
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
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