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
DramaticActing
Sigma KEE - meetsTemporally
meetsTemporally
appearance as argument number 1
(
documentation
meetsTemporally
ChineseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) 的意思是
TimeInterval
?INTERVAL1 的终点是
TimeInterval
?INTERVAL2 起点。")
chinese_format.kif 2722-2723
(
documentation
meetsTemporally
EnglishLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) means that the terminal point of the
TimeInterval
?INTERVAL1 is the initial point of the
TimeInterval
?INTERVAL2.")
Merge.kif 8329-8331
(
documentation
meetsTemporally
JapaneseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL1 の端子点が
TimeInterval
?INTERVAL2 の初期点であることを意味 する。")
japanese_format.kif 1446-1448
(
domain
meetsTemporally
1
TimeInterval
)
Merge.kif 8326-8326
Die Zahl 1 Argument von
meetsTemporally
ist ein
fall
von
TimeInterval
%n{nicht}
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8327-8327
Die Zahl 2 Argument von
meetsTemporally
ist ein
fall
von
TimeInterval
%n{nicht}
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8323-8323
meetsTemporally
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8321-8321
meetsTemporally
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8324-8324
meetsTemporally
ist ein
fall
von
IntransitiveRelation
%n{nicht}
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8322-8322
meetsTemporally
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
meetsTemporally
ist ein
fall
von
TotalValuedRelation
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
meetsTemporally
"%1 %n{doesn't} 接着 %2")
chinese_format.kif 435-435
(
format
EnglishLanguage
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 441-441
(
format
FrenchLanguage
meetsTemporally
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 252-252
(
format
ItalianLanguage
meetsTemporally
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 180-180
(
format
JapaneseLanguage
meetsTemporally
"%1 は %2 に meet%p{s} %n{ない}")
japanese_format.kif 2046-2046
(
format
PortugueseLanguage
meetsTemporally
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 204-204
(
format
cz
meetsTemporally
"%1 %n{doesn't} meet%p{s} %2")
relations-cz.txt 258-258
(
format
de
meetsTemporally
"%1 schliesst %2 zeitlich %n{nicht} an")
relations-de.txt 568-568
(
format
hi
meetsTemporally
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 218-218
(
format
ro
meetsTemporally
"%1 %n{nu} meet%t{se continuã} cu %2")
relations-ro.kif 273-273
(
format
sv
meetsTemporally
"%1 möter %n{inte} %2")
relations-sv.txt 276-276
(
format
tg
meetsTemporally
"%1 %n ay sumali sa %2")
relations-tg.txt 356-356
(
termFormat
ChineseLanguage
meetsTemporally
"在时间上接着")
chinese_format.kif 436-436
(
termFormat
ChineseLanguage
meetsTemporally
"短暂相遇")
domainEnglishFormat.kif 36923-36923
(
termFormat
ChineseTraditionalLanguage
meetsTemporally
"短暫相遇")
domainEnglishFormat.kif 36922-36922
(
termFormat
EnglishLanguage
meetsTemporally
"meets temporally")
domainEnglishFormat.kif 36921-36921
antecedent
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
Wenn
TimeInterval
ist ein
fall
von
Sunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Monday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
Wenn
Process
ist ein
fall
von
DrawingACheck
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** Process
Time %n{nicht} und
** Process
Time
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** Process
Time zeitlich an und
dauer
von
** ** TimeInterval
ist
RealNumber
MonthDuration
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAls
6 %n{nicht}
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
Wenn
TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Lent
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an und
** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
Year
%n{nicht},
dann
** ** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
Wenn
TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Lent
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
Year
%n{nicht},
dann
** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
Wenn
TimeInterval
ist ein
fall
von der
monat
December
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
January
%n{nicht} und
** TimeInterval
ist ein
fall
von
** Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
** ** Year
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
Wenn
TimeInterval
ist ein
fall
von
Advent
%n{nicht} und
** TimeInterval
ist ein
fall
von
ChristmasDay
%n{nicht} und
** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
** ** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
Wenn
TimeInterval
ist ein
fall
von
Advent
%n{nicht} und
** TimeInterval
ist ein
fall
von
ChristmasDay
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))
(
exists
(?YEAR)
(
and
(
instance
?YEAR
Year
)
(
during
?T1 ?YEAR)
(
during
?T2 ?YEAR))))
Media.kif 376-385
Wenn
TimeInterval
ist ein
fall
von
Advent
%n{nicht} und
** TimeInterval
ist ein
fall
von
ChristmasDay
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Year
%n{nicht} und
** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
Wenn
Concussion
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimeInterval
nicht und
Concussion
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann die Aussage
Unconscious
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
der
anfang
von
** ** TimeInterval
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
Wenn
startupTimeDelay
ComputerProgram
and
TimeDuration
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
Physical
ist ein
fall
von
ComputerProcess
%n{nicht} und die
zeit
des Bestehens von
** Physical
ist gleich
** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8333-8337
Wenn
TimeInterval
schliesst
** TimeInterval
zeitlich an,
dann das
ende
von
** TimeInterval
ist gleich der
anfang
von
** ** TimeInterval
%n{nicht}
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
Wenn
TimeInterval
schliesst
** TimeInterval
zeitlich an,
dann es gibt nicht
TimePosition
um
** TimePosition
ist ein
fall
von
TimeInterval
%n{nicht} und
** TimePosition
ist ein
teil
von
** TimeInterval
%n{nicht} und
** TimePosition
ist ein
teil
von
** ** TimeInterval
%n{nicht}
consequent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
Wenn
CommunalAttribute
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Table
%n{nicht} und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GroupOfPeople
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann die Aussage es gibt
entity
,
** entity
, and und
** Object
2 um
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} und
** AutonomousAgent
ist gleich
** entity
nicht und
** entity
ist ein
fall
von
GroupOfPeople
%n{nicht} und
eventLocated
** ** entity
and
** Object
2 und die
zeit
des Bestehens von
** Process
schliesst
die
zeit
des Bestehens von
** ** entity
zeitlich an und
** Object
ist gleich
** Object
2 %n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
Wenn
Larval
ist ein
attribut
von
AutonomousAgent
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Process
ist ein
fall
von
Birth
%n{nicht} und
** TimeInterval
ist gleich die
zeit
des Bestehens von
** Process
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Wenn
Process
ist ein
fall
von
Dodging
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
T ist gleich die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** Process
hat Zweck von es gibt nicht
entity
um
** Process
T
schliesst
die
zeit
des Bestehens von
** entity
zeitlich an oder die
zeit
des Bestehens von
** entity
deckt
sich mit
** Process
T %n{nicht} und
** entity
ist ein
fall
von
Impacting
%n{nicht} und
** AutonomousAgent
ist ein
patient
von
** entity
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8603-8608
Wenn
TimeInterval
ist ein
fall
von der
tag
PositiveInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht} und (
** ** PositiveInteger
und
** PositiveInteger
) ist gleich 1 %n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
Wenn
TimeInterval
ist ein
fall
von
Friday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Saturday
%n{nicht} und
TimePosition
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
Wenn
TimeInterval
ist ein
fall
von
Monday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Tuesday
%n{nicht} und
TimePosition
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
Wenn
TimeInterval
ist ein
fall
von
Saturday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Sunday
%n{nicht} und
TimePosition
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
Wenn
TimeInterval
ist ein
fall
von
Sunday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Monday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
Wenn
TimeInterval
ist ein
fall
von
Thursday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Friday
%n{nicht} und
TimePosition
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
Wenn
TimeInterval
ist ein
fall
von
Tuesday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Wednesday
%n{nicht} und
TimePosition
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
Wenn
TimeInterval
ist ein
fall
von
Wednesday
%n{nicht} und
** TimeInterval
ist ein
fall
von
Thursday
%n{nicht} und
TimePosition
ist ein
fall
von
Week
%n{nicht} und
** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht} und
** ** TimeInterval
ist ein
teil
von
** TimePosition
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11964-11971
Wenn
Process
ist ein
fall
von
Discovering
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Pursuing
%n{nicht} und die
zeit
des Bestehens von
** Physical
schliesst
die
zeit
des Bestehens von
** Process
zeitlich an
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
Wenn
Process
ist ein
fall
von
Downtick
%n{nicht} und
Physical
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
AutonomousAgent
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
price
** Physical
,
RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
,
dann es gibt
** Process
,
** AutonomousAgent
, and und
** RealNumber
um
** ** Process
ist ein
fall
von
StockMarketTransaction
%n{nicht} und
** Physical
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** AutonomousAgent
%n{nicht} und
** ** AutonomousAgent
schliesst
** AutonomousAgent
zeitlich an und
price
** Physical
,
** ** RealNumber
** UnitOfMeasure
(s) and
** ** AutonomousAgent
und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?ESCAPE
Escaping
)
(
agent
?ESCAPE ?AGENT))
(
exists
(?CONFINE)
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?AGENT)
(
meetsTemporally
(
WhenFn
?CONFINE)
(
WhenFn
?ESCAPE)))))
Mid-level-ontology.kif 17281-17289
Wenn
Process
ist ein
fall
von
Escaping
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Confining
%n{nicht} und
** AutonomousAgent
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
schliesst
die
zeit
des Bestehens von
** Process
zeitlich an
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8922-8929
Wenn
TimeInterval
ist ein
fall
von
Evening
%n{nicht} und
** TimeInterval
ist ein
fall
von
Afternoon
%n{nicht} und
** TimeInterval
ist ein
fall
von
Day
%n{nicht} und
** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** ** TimeInterval
%n{nicht},
dann
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
Wenn
Process
ist ein
fall
von
FlashingLight
%n{nicht} und
** Process
beginnet an
Object
%n{nicht},
dann es gibt
** Process
,
TimeInterval
, and und
** Process
um
** ** Process
ist ein
fall
von
RadiatingLight
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** Process
ist ein
fall
von
RadiatingLight
%n{nicht} und die
zeit
des Bestehens von
** ** Process
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
die
zeit
des Bestehens von
** ** Process
zeitlich an und es gibt nicht
** ** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
RadiatingLight
%n{nicht} und
** ** TimeInterval
beginnet an
** Object
%n{nicht} und die
zeit
des Bestehens von
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
subProzess
von
** Process
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8629-8634
Wenn
TimeInterval
ist ein
fall
von die
stunde
NonnegativeInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von die
stunde
** NonnegativeInteger
%n{nicht} und (
** ** NonnegativeInteger
und
** NonnegativeInteger
) ist gleich 1 %n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8656-8661
Wenn
TimeInterval
ist ein
fall
von die
minute
NonnegativeInteger
%n{nicht} und
** TimeInterval
ist ein
fall
von die
minute
** NonnegativeInteger
%n{nicht} und (
** ** NonnegativeInteger
und
** NonnegativeInteger
) ist gleich 1 %n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9108-9112
Wenn
TimeInterval
ist ein
fall
von der
monat
April
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
May
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9164-9168
Wenn
TimeInterval
ist ein
fall
von der
monat
August
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
September
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MONTH1
(
MonthFn
December
?YEAR1))
(
instance
?MONTH2
(
MonthFn
January
?YEAR2))
(
instance
?Y1 ?YEAR1)
(
instance
?Y2 ?YEAR2)
(
meetsTemporally
?Y1 ?Y2))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9221-9228
Wenn
TimeInterval
ist ein
fall
von der
monat
December
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
January
%n{nicht} und
** TimeInterval
ist ein
fall
von
** Year
%n{nicht} und
** TimeInterval
ist ein
fall
von
** ** Year
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9080-9084
Wenn
TimeInterval
ist ein
fall
von der
monat
February
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
March
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9056-9060
Wenn
TimeInterval
ist ein
fall
von der
monat
January
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
February
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9150-9154
Wenn
TimeInterval
ist ein
fall
von der
monat
July
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
August
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9136-9140
Wenn
TimeInterval
ist ein
fall
von der
monat
June
%n{nicht} und
** TimeInterval
ist ein
fall
von der
monat
July
%n{nicht},
dann
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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