Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
starts
Sigma KEE - starts
starts
appearance as argument number 1
(
documentation
starts
ChineseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是
TimeInterval
有共同的开始
TimePoint
,而 ?INTERVAL1 比 ?INTERVAL2 先 结束。")
chinese_format.kif 2701-2703
(
documentation
starts
EnglishLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both
TimeInterval
s that have the same initial
TimePoint
and that ?INTERVAL1 ends before ?INTERVAL2.")
Merge.kif 8040-8042
(
documentation
starts
JapaneseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期
TimePoint
を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。")
japanese_format.kif 1424-1426
(
domain
starts
1
TimeInterval
)
Merge.kif 8037-8037
Die Zahl 1 Argument von
starts
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
starts
2
TimeInterval
)
Merge.kif 8038-8038
Die Zahl 2 Argument von
starts
ist ein
fall
von
TimeInterval
%n{nicht}
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8035-8035
starts
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
starts
TemporalRelation
)
Merge.kif 8033-8033
starts
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
starts
TotalValuedRelation
)
Merge.kif 8036-8036
starts
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
starts
TransitiveRelation
)
Merge.kif 8034-8034
starts
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
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 8044-8052
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 8054-8062
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 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
?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
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
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 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}
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
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 9435-9445
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 8795-8801
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 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
?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
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
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 17300-17306
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 8901-8908
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 19109-19116
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 17070-17076
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