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
Le nombre 1 argument de
finishes
est une
instance
de
interval temporel
(
domain
finishes
2
TimeInterval
)
Merge.kif 8070-8070
Le nombre 2 argument de
finishes
est une
instance
de
interval temporel
(
instance
finishes
IrreflexiveRelation
)
Merge.kif 8067-8067
finishes
est une
instance
de
relation irr�flexive
(
instance
finishes
TemporalRelation
)
Merge.kif 8065-8065
finishes
est une
instance
de
relation temporel
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8068-8068
finishes
est une
instance
de
relation total
(
instance
finishes
TransitiveRelation
)
Merge.kif 8066-8066
finishes
est une
instance
de
relation transitive
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
finishes
est une
sous
-relation de
temporalPart
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
agreementPeriod
FinancialAccount
and
interval temporel
jour
finit
interval temporel
maturityDate
FinancialAccount
and
jour
(=>
(
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
Interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
AscensionThursday
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
la
dur
�� de
interval temporel
est 40
DayDuration
(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
Interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
PalmSunday
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
la
dur
�� de
interval temporel
est 8
DayDuration
(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
Interval temporel
est une
instance
de
ann�e
interval temporel
est une
instance
de
EasterSunday
interval temporel
est une
instance
de
Pentecost
interval temporel
prend place
pendant
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
la
dur
�� de
interval temporel
est 50
DayDuration
(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
Interval temporel
interval temporel
dependencyDelay
programme d'ordinateur
and
dur�e temporel
dependencyType
programme d'ordinateur
and
ShutdownBlock
hasDependency
programme d'ordinateur
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
finit
interval temporel
temps
d'existence de
ComputerProcess
est
interval temporel
le
d
�but de
interval temporel
est
fin
de
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
Interval temporel
finit
interval temporel
le
d
�but de
interval temporel
se produit
avant
le
d
�but de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
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
GTCOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
recouvre
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
finit
interval temporel
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
Le
d
�but de
interval temporel
se produit
avant
le
d
�but de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
interval temporel
finit
interval temporel
(=>
(
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
Processus
est une
instance
de
Ambulating
interval temporel
est
temps
d'existence de
processus
processus
processus
processus
est une
instance
de
Stepping
processus
est une
instance
de
Stepping
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
processus
est
processus
(=>
(
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
Processus
est une
instance
de
Blushing
AutonomousAgent
exp
�rimente
processus
interval temporel
interval temporel
,
entit�
and
entit�
entit�
est une
instance
de
�tat �motionnel
entit�
est une
instance
de
�tat �motionnel
entit�
est
entit�
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Processus
est une
instance
de
CheckInService
processus
cause
processus
physique
est une
instance
de
CheckOutService
temps
d'existence de
physique
finit
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
FallingAsleep
AutonomousAgent
exp
�rimente
processus
interval temporel
interval temporel
interval temporel
commence
temps
d'existence de
processus
interval temporel
finit
temps
d'existence de
processus
r�veill�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
endormi
est un
attribut
de
AutonomousAgent
pendant
interval temporel
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
Interval temporel
est une
instance
de
CeasingOperations
AutonomousAgent
est une
instance
de
organisation
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
finit
temps
d'existence de
AutonomousAgent
(=>
(
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
Physique
est une
instance
de
OrganismRemains
entit�
est une
partie
de
physique
pendant
temps
d'existence de
physique
physique
physique
est une
instance
de
organisme
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
physique
temps
d'existence de
physique
finit
temps
d'existence de
physique
entit�
est une
partie
de
physique
pendant
temps
d'existence de
physique
(=>
(
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
Processus
est une
instance
de
Translocation
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
a pour
origine
objet
processus
aboutit
�
objet
processus
aboutit
�
entit�
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
commence
temps
d'existence de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
WakingUp
AutonomousAgent
exp
�rimente
processus
interval temporel
interval temporel
interval temporel
commence
temps
d'existence de
processus
interval temporel
finit
temps
d'existence de
processus
endormi
est un
attribut
de
AutonomousAgent
pendant
interval temporel
r�veill�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
(=>
(
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
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
entit�
(=>
(
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
meatOfAnimal
viande
and
animal
entit�
est une
instance
de
viande
interval temporel
physique
physique
est une
instance
de
animal
interval temporel
finit
temps
d'existence de
physique
entit�
est une
partie
de
physique
pendant
interval temporel
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
dateOfStatement
?Statement ?Date))
(
finishes
?Date ?Period))
FinancialOntology.kif 4070-4074
statementPeriod
BankStatement
and
interval temporel
dateOfStatement
BankStatement
and
jour
jour
finit
interval temporel
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9416-9421
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
finit
interval temporel
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
ne
finit
%n{pas}
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
Entit�
est une
instance
de
IntensiveCareUnit
stays
entit�
and
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
mort
temps
d'existence de
entit�
finit
position temporel
a la
force
modale
de
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
Interval temporel
est une
instance
de
AnteMeridiem
jour
interval temporel
and
interval temporel
interval temporel
est une
instance
de l'
heure
24
interval temporel
commence
interval temporel
interval temporel
est une
instance
de l'
heure
12
interval temporel
finit
interval temporel
(=>
(
instance
?ARRIVE
Arriving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?ARRIVE ?GO)
(
finishes
(
WhenFn
?ARRIVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17311-17317
Processus
est une
instance
de
Arriving
processus
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
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
Interval temporel
est une
instance
de
Divorcing
entit�
entit�
,
interval temporel
and
interval temporel
spouse
entit�
and
entit�
pendant
interval temporel
spouse
entit�
and
entit�
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
commence
interval temporel
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8879-8886
Interval temporel
est une
instance
de
DayTime
interval temporel
interval temporel
interval temporel
est une
instance
de
Sunrise
interval temporel
est une
instance
de
Sunset
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
(=>
(
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
Interval temporel
est une
instance
de le
p
�riode
recurrente
de
interval temporel
�
interval temporel
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
commence
interval temporel
interval temporel
finit
interval temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
Position temporel
est une
instance
de
interval temporel
immediatement
avant
position temporel
finit
avant
position temporel
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8807-8813
Interval temporel
est une
instance
de
Morning
interval temporel
jour
interval temporel
est une
instance
de l'
heure
12
interval temporel
finit
interval temporel
(=>
(
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
Interval temporel
est une
instance
de
MuakharSadaq
AutonomousAgent
entit�
,
interval temporel
and
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
a pour
origine
AutonomousAgent
interval temporel
aboutit
�
entit�
wife
entit�
and
AutonomousAgent
pendant
interval temporel
wife
entit�
and
AutonomousAgent
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
se produit
avant
interval temporel
interval temporel
commence
interval temporel
(=>
(
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
Interval temporel
est une
instance
de
MuqaddamSadaq
AutonomousAgent
entit�
,
interval temporel
and
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
a pour
origine
AutonomousAgent
interval temporel
aboutit
�
entit�
wife
entit�
and
AutonomousAgent
pendant
interval temporel
wife
entit�
and
AutonomousAgent
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
se produit
avant
interval temporel
interval temporel
commence
interval temporel
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
Interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
finit
temps
d'existence de
JesusOfNazareth
interval temporel
commence
temps
d'existence de
TwelveApostles
entit�
entit�
est un
membre
de
TwelveApostles
pendant
interval temporel
friend
entit�
and
JesusOfNazareth
pendant
interval temporel
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