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 8062-8064
(
documentation
starts
JapaneseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期
TimePoint
を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。")
japanese_format.kif 1424-1426
(
domain
starts
1
TimeInterval
)
Merge.kif 8059-8059
Die Zahl 1 Argument von
starts
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
starts
2
TimeInterval
)
Merge.kif 8060-8060
Die Zahl 2 Argument von
starts
ist ein
fall
von
TimeInterval
%n{nicht}
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8057-8057
starts
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
starts
TemporalRelation
)
Merge.kif 8055-8055
starts
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
starts
TotalValuedRelation
)
Merge.kif 8058-8058
starts
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
starts
TransitiveRelation
)
Merge.kif 8056-8056
starts
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
starts
temporalPart
)
Merge.kif 8054-8054
starts
ist eine
teilrelation
von
temporalPart
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
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
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
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
StartupBlock
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
beginnt
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
** TimeInterval
%n{nicht} und das
ende
von
** ** TimeInterval
ist gleich der
anfang
von
** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8066-8074
Wenn
TimeInterval
beginnt
** TimeInterval
%n{nicht},
dann der
anfang
von
** TimeInterval
ist gleich der
anfang
von
** ** TimeInterval
%n{nicht} und das
ende
von
** TimeInterval
geschieht
vor
das
ende
von
** ** TimeInterval
%n{nicht}
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
Wenn
FOKOrder
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
beginnt
** 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
beginnt
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
IOCOrder
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
beginnt
** 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
beginnt
** TimeInterval
%n{nicht}
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8076-8084
Wenn der
anfang
von
TimeInterval
ist gleich der
anfang
von
** TimeInterval
%n{nicht} und das
ende
von
** TimeInterval
geschieht
vor
das
ende
von
** ** TimeInterval
%n{nicht},
dann
** TimeInterval
beginnt
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist gleich
FiscalYearStartingFn
AutonomousAgent
and
** Year
%n{nicht} und
fiscalYearPeriod
** AutonomousAgent
and
** ** TimeInterval
und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
und
TimePosition
um
** ** TimeInterval
ist ein
fall
von
Day
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** TimePosition
ist ein
fall
von
** Year
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%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 21473-21488
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
?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 16379-16388
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
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16293-16298
Wenn
TimeInterval
ist ein
fall
von
BeginningOperations
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
** TimeInterval
beginnt
die
zeit
des Bestehens von
** AutonomousAgent
%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 11327-11350
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 16394-16403
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}
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9431-9436
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
beginnt
** TimeInterval
%n{nicht}
(=>
(
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 9457-9467
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
beginnt
** TimeInterval
nicht,
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
** ** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8817-8823
Wenn
TimeInterval
ist ein
fall
von
Afternoon
%n{nicht},
dann es gibt
** TimeInterval
und
** Day
um
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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 19094-19101
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
?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 8901-8908
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 8478-8485
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
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8557-8559
Wenn
TimePosition
ist ein
fall
von
TimeInterval
%n{nicht},
dann sofort
nach
** TimePosition
beginnt
nach
** TimePosition
%n{nicht}
(=>
(
instance
?LEAVE
Leaving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?LEAVE ?GO)
(
starts
(
WhenFn
?LEAVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17299-17305
Wenn
Process
ist ein
fall
von
Leaving
%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
beginnt
die
zeit
des Bestehens von
** ** Process
%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}
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8923-8930
Wenn
TimeInterval
ist ein
fall
von
NightTime
%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
?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 19108-19115
Wenn
TimeInterval
ist ein
fall
von
PostMeridiem
%n{nicht},
dann es gibt
** Day
,
** TimeInterval
, and und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von die
stunde
12 %n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von die
stunde
24 %n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
instance
?S
(
StartFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
starts
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 424-429
Wenn
Physical
ist ein
fall
von
StartFn
Process
%n{nicht},
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Physical
beginnt
die
zeit
des Bestehens von
** ** Physical
%n{nicht}
(=>
(
instance
?SS
SportServe
)
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
subProcess
?SS ?S)
(
starts
(
WhenFn
?SS)
(
WhenFn
?S)))))
Mid-level-ontology.kif 17069-17075
Wenn
Process
ist ein
fall
von
SportServe
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Sport
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und die
zeit
des Bestehens von
** Process
beginnt
die
zeit
des Bestehens von
** ** Process
%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