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
Die Zahl 1 Argument von
finishes
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
finishes
2
TimeInterval
)
Merge.kif 8070-8070
Die Zahl 2 Argument von
finishes
ist ein
fall
von
TimeInterval
%n{nicht}
(
instance
finishes
IrreflexiveRelation
)
Merge.kif 8067-8067
finishes
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
finishes
TemporalRelation
)
Merge.kif 8065-8065
finishes
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8068-8068
finishes
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
finishes
TransitiveRelation
)
Merge.kif 8066-8066
finishes
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
finishes
ist eine
teilrelation
von
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
TimeInterval
und
Day
beendet
** TimeInterval
%n{nicht} genau dann wenn
maturityDate
** FinancialAccount
and
** Day
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
AscensionThursday
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist 40
DayDuration
(s) %n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
PalmSunday
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist 8
DayDuration
(s) %n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Pentecost
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist 50
DayDuration
(s) %n{nicht}
(=>
(
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
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
ShutdownBlock
und
hasDependency
** ComputerProgram
and
** ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
beendet
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und der
anfang
von
** ** TimeInterval
ist gleich das
ende
von
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
Wenn
TimeInterval
beendet
** TimeInterval
%n{nicht},
dann der
anfang
von
** ** TimeInterval
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht} und das
ende
von
** ** TimeInterval
ist gleich das
ende
von
** TimeInterval
%n{nicht}
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
Wenn
GTCOrder
ist ein
attribut
von
Agreement
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
,
dann es gibt
Process
und
** TimeInterval
um
** Process
ist ein
fall
von
FillingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
deckt
sich mit
** ** TimeInterval
%n{nicht} oder es gibt
** Process
und
** TimeInterval
um
** ** Process
ist ein
fall
von
CancellingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
Wenn der
anfang
von
TimeInterval
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht} und das
ende
von
** TimeInterval
ist gleich das
ende
von
** ** TimeInterval
%n{nicht},
dann
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Ambulating
%n{nicht} und
TimeInterval
ist gleich die
zeit
des Bestehens von
** Process
%n{nicht},
dann es gibt
** Process
und
** Process
um
** ** Process
ist ein
fall
von
Stepping
%n{nicht} und
** ** Process
ist ein
fall
von
Stepping
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
subProzess
von
** Process
und die
zeit
des Bestehens von
** ** Process
beginnt
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ** Process
beendet
** TimeInterval
%n{nicht} und
** ** Process
ist gleich
** ** Process
nicht
(=>
(
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
Wenn
Process
ist ein
fall
von
Blushing
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
TimeInterval
,
** TimeInterval
,, ,
Entity
, and und
** Entity
um
** Entity
ist ein
fall
von
EmotionalState
%n{nicht} und
** ** Entity
ist ein
fall
von
EmotionalState
%n{nicht} und
** Entity
ist gleich
** ** Entity
nicht und
** Entity
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
** ** Entity
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** ** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** Process
beginnt
** ** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** Process
beendet
** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Wenn
Process
ist ein
fall
von
CheckInService
%n{nicht} und
** Process
verursacht
** Process
%n{nicht} und
Physical
ist ein
fall
von
CheckOutService
%n{nicht},
dann die
zeit
des Bestehens von
** Physical
beendet
die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FallingAsleep
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
TimeInterval
und
** TimeInterval
um
** TimeInterval
beginnt
die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** TimeInterval
beendet
die
zeit
des Bestehens von
** Process
%n{nicht} und
Awake
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
Asleep
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
Wenn
TimeInterval
ist ein
fall
von
CeasingOperations
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
** TimeInterval
beendet
die
zeit
des Bestehens von
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
OrganismRemains
%n{nicht} und
entity
ist ein
teil
von
** Physical
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Physical
%n{nicht},
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
Organism
%n{nicht} und die
zeit
des Bestehens von
** ** Physical
geschieht frueh als die
zeit
des Bestehens von
** Physical
%n{nicht} und die
zeit
des Bestehens von
** Physical
beendet
die
zeit
des Bestehens von
** ** Physical
%n{nicht} und
** entity
ist ein
teil
von
** ** Physical
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** ** Physical
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Translocation
%n{nicht} und
** Process
ist ein
fall
von
Translocation
%n{nicht} und
** Process
beginnet an
Object
%n{nicht} und
** ** Process
beginnet an
** Object
%n{nicht} und
** Process
endet an
** ** Object
%n{nicht} und
** ** Process
endet an
Entity
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** AutonomousAgent
erfaehrt
** ** Process
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Translocation
%n{nicht} und
** ** Process
beginnet an
** Object
%n{nicht} und
** ** Process
endet an
** Entity
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** ** Process
ist ein
subProzess
von
** ** Process
und
** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
beginnt
die
zeit
des Bestehens von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
beendet
die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
WakingUp
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
TimeInterval
und
** TimeInterval
um
** TimeInterval
beginnt
die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** TimeInterval
beendet
die
zeit
des Bestehens von
** Process
%n{nicht} und
Asleep
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
Awake
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
CarAlarm
%n{nicht} und
** Object
ist ein
fall
von
SelfPoweredRoadVehicle
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** Object
hat Zweck von
wenn
** entity
ist ein
fall
von
Stealing
%n{nicht} oder
** entity
ist ein
fall
von
Damaging
%n{nicht} und
** ** entity
ist ein
fall
von
Human
%n{nicht} und
** entity
ist der
agent
von
** ** entity
%n{nicht} und
** ** Object
ist ein
patient
von
** entity
%n{nicht} und die
zeit
des Bestehens von
** entity
ist gleich
** ** entity
%n{nicht} und
eventPartlyLocated
** entity
and
** ** entity
,
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
RadiatingSound
%n{nicht} und
** ** entity
ist der
agent
von
** Object
%n{nicht} und
** entity
verursacht
** ** entity
%n{nicht} und
** ** entity
hat Zweck von es gibt
** entity
um
** ** entity
ist ein
fall
von
Human
%n{nicht} und
** ** entity
ist
Near
hinsichlich
** ** entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} vergroessert die Wahrscheinlichkeit von
** ** entity
kennt
es gibt
** entity
um
** ** entity
ist ein
fall
von
Stealing
%n{nicht} oder
** ** entity
ist ein
fall
von
Damaging
%n{nicht} und
eventPartlyLocated
** ** entity
and
** ** entity
und
** ** Object
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} %n{nicht} oder die
zeit
des Bestehens von
** ** entity
beendet
die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht} %n{nicht}
%n{nicht}
(=>
(
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
Wenn
meatOfAnimal
** Meat
and
** Animal
und
Entity
ist ein
fall
von
** Meat
%n{nicht},
dann es gibt
TimeInterval
und
Physical
um
** Physical
ist ein
fall
von
** Animal
%n{nicht} und
** TimeInterval
beendet
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** Entity
ist ein
teil
von
** Physical
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
dateOfStatement
?Statement ?Date))
(
finishes
?Date ?Period))
FinancialOntology.kif 4070-4074
Wenn
statementPeriod
BankStatement
and
TimeInterval
und
dateOfStatement
** BankStatement
and
Day
,
dann
** Day
beendet
** TimeInterval
%n{nicht}
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9416-9421
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Aufspaltung
von
TimeInterval
auf
** TimeInterval
TYPEs ist gleich
** ** TimeInterval
%n{nicht},
dann fuer alle
** TimeInterval
wenn
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
nicht,
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
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
Wenn
entity
ist ein
fall
von
IntensiveCareUnit
%n{nicht} und
stays
** entity
and
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
Death
%n{nicht} und die
zeit
des Bestehens von
** ** entity
beendet
** TimePosition
%n{nicht} hat die modale Kraft von
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
Wenn
TimeInterval
ist ein
fall
von
AnteMeridiem
%n{nicht},
dann es gibt
** Day
,
** TimeInterval
, and und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von die
stunde
24 %n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
instance
?ARRIVE
Arriving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?ARRIVE ?GO)
(
finishes
(
WhenFn
?ARRIVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17311-17317
Wenn
Process
ist ein
fall
von
Arriving
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Translocation
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und die
zeit
des Bestehens von
** Process
beendet
die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Divorcing
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** TimeInterval
, and und
** TimeInterval
um
spouse
** entity
and
** ** entity
haelt
waehrend
** ** TimeInterval
%n{nicht} und
spouse
** entity
and
** ** entity
haelt
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8879-8886
Wenn
TimeInterval
ist ein
fall
von
DayTime
%n{nicht},
dann es gibt
** TimeInterval
und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Sunrise
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
Sunset
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von der
ruecklaeufige
zeitabstand von
** ** TimeInterval
nach
** ** TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
Wenn
TimePosition
ist ein
fall
von
TimeInterval
%n{nicht},
dann direkt
vor
** TimePosition
beendet
vor
** TimePosition
%n{nicht}
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8807-8813
Wenn
TimeInterval
ist ein
fall
von
Morning
%n{nicht},
dann es gibt
** TimeInterval
und
** Day
um
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
MuakharSadaq
%n{nicht},
dann es gibt
AutonomousAgent
,
Entity
,, ,
** TimeInterval
, and und
** TimeInterval
um
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
beginnet an
** AutonomousAgent
%n{nicht} und
** TimeInterval
endet an
** Entity
%n{nicht} und
wife
** Entity
and
** AutonomousAgent
haelt
waehrend
** ** TimeInterval
%n{nicht} und
wife
** Entity
and
** AutonomousAgent
haelt
waehrend
** ** TimeInterval
nicht und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
vor
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
MuqaddamSadaq
%n{nicht},
dann es gibt
AutonomousAgent
,
Entity
,, ,
** TimeInterval
, and und
** TimeInterval
um
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
beginnet an
** AutonomousAgent
%n{nicht} und
** TimeInterval
endet an
** Entity
%n{nicht} und
wife
** Entity
and
** AutonomousAgent
haelt
waehrend
** ** TimeInterval
nicht und
wife
** Entity
and
** AutonomousAgent
haelt
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
vor
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
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
Es gibt
TimeInterval
um
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** TimeInterval
beendet
die
zeit
des Bestehens von
JesusOfNazareth
%n{nicht} und
** TimeInterval
beginnt
die
zeit
des Bestehens von
TwelveApostles
%n{nicht} und fuer alle
entity
wenn
** entity
ist ein
Mitglied
von
TwelveApostles
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht},
dann
friend
** entity
and
JesusOfNazareth
haelt
waehrend
** TimeInterval
%n{nicht}
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