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
meetsTemporally
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 8351-8353
(
documentation
meetsTemporally
JapaneseLanguage
"(
meetsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
?INTERVAL1 の端子点が
TimeInterval
?INTERVAL2 の初期点であることを意味 する。")
japanese_format.kif 1446-1448
(
domain
meetsTemporally
1
TimeInterval
)
Merge.kif 8348-8348
The number 1 argument of
meets temporally
is an
instance
of
time interval
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8349-8349
The number 2 argument of
meets temporally
is an
instance
of
time interval
(
instance
meetsTemporally
AsymmetricRelation
)
Merge.kif 8345-8345
meets temporally
is an
instance
of
asymmetric relation
(
instance
meetsTemporally
BinaryPredicate
)
Merge.kif 8343-8343
meets temporally
is an
instance
of
binary predicate
(
instance
meetsTemporally
IntransitiveRelation
)
Merge.kif 8346-8346
meets temporally
is an
instance
of
intransitive relation
(
instance
meetsTemporally
TemporalRelation
)
Merge.kif 8344-8344
meets temporally
is an
instance
of
temporal relation
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8347-8347
meets temporally
is an
instance
of
total valued relation
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 9343-9352
If
a time interval
is an
instance
of
Sunday
and
another time interval
is an
instance
of
Monday
and
a third time interval
is an
instance
of
week
and
a fourth time interval
is an
instance
of
week
and
the time interval
is a
part
of
the third time interval
and
the other time interval
is a
part
of
the fourth time interval
and
the third time interval
meet
s
the fourth time interval
,
then
the time interval
meet
s
the other time interval
(=>
(
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
If
a process
is an
instance
of
drawingA check
and
an entity
is a
patient
of
the process
and
another process
is an
instance
of
processingA check
and
the entity
is a
patient
of
the other process
and the
time
of existence of
the process
is
equal
to
the process
Time and the
time
of existence of
the other process
is
equal
to
the other process
Time and
the process
Time
meet
s
a third time interval
and
the third time interval
meet
s
the other process
Time and
duration
of
the third time interval
is
a real number
month duration
(s),
then
the real number
is
less
than 6
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?ES ?Y)
(
instance
?Y
Year
))
(
during
?L ?Y))
Media.kif 437-444
If
a time interval
is an
instance
of
Easter sunday
and
another time interval
is an
instance
of
lent
and
the other time interval
meet
s
the time interval
and
the time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the other time interval
takes place
during
the third time interval
(=>
(
and
(
instance
?ES
EasterSunday
)
(
instance
?L
Lent
)
(
meetsTemporally
?L ?ES)
(
during
?L ?Y)
(
instance
?Y
Year
))
(
during
?ES ?Y))
Media.kif 446-453
If
a time interval
is an
instance
of
Easter sunday
and
another time interval
is an
instance
of
lent
and
the other time interval
meet
s
the time interval
and
the other time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
,
then
the time interval
takes place
during
the third time interval
(=>
(
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 9243-9250
If
a time interval
is an
instance
of the
month
December
and
another time interval
is an
instance
of the
month
January
and
a third time interval
is an
instance
of
a kind of year
and
a fourth time interval
is an
instance
of
another kind of year
and
the third time interval
meet
s
the fourth time interval
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T1 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T2 ?YEAR))
Media.kif 387-394
If
a time interval
is an
instance
of
advent
and
another time interval
is an
instance
of
Christmas day
and
the time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
and
the time interval
meet
s
the other time interval
,
then
the other time interval
takes place
during
the third time interval
(=>
(
and
(
instance
?T1
Advent
)
(
instance
?T2
ChristmasDay
)
(
during
?T2 ?YEAR)
(
instance
?YEAR
Year
)
(
meetsTemporally
?T1 ?T2))
(
during
?T1 ?YEAR))
Media.kif 396-403
If
a time interval
is an
instance
of
advent
and
another time interval
is an
instance
of
Christmas day
and
the other time interval
takes place
during
a third time interval
and
the third time interval
is an
instance
of
year
and
the time interval
meet
s
the other time interval
,
then
the time interval
takes place
during
the third time interval
(=>
(
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
If
a time interval
is an
instance
of
advent
and
another time interval
is an
instance
of
Christmas day
and
the time interval
meet
s
the other time interval
,
then there exists
a third time interval
such that
the third time interval
is an
instance
of
year
and
the time interval
takes place
during
the third time interval
and
the other time interval
takes place
during
the third time interval
(=>
(
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
If
mild traumatic brain injury
is an
attribute
of
an entity
doesn't hold
during
a time interval
and
mild traumatic brain injury
is an
attribute
of
the entity
holds
during
another time interval
and
the time interval
meet
s
the other time interval
,
then the statement
unconscious
is an
attribute
of
the entity
holds
during
the
beginning
of
the other time interval
has the
modal
force
of
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
If the
startup
time
delay
of
a computer program
is
a time duration
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and the
time
of existence of
the computer process
is
equal
to
a time interval
and
a physical
is an
instance
of
computer process
and the
time
of existence of
the physical
is
equal
to
another time interval
and
the time interval
meet
s
a third time interval
and
the third time interval
meet
s
the other time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
meetsTemporally
?INTERVAL1 ?INTERVAL2)
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8355-8359
If
a time interval
meet
s
another time interval
,
then the
end
of
the time interval
is
equal
to the
beginning
of
the other time interval
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8367-8374
If
a time interval
meet
s
another time interval
,
then there doesn't exist
a time position
such that
the time position
is an
instance
of
time interval
and
the time position
is a
part
of
the time interval
and
the time position
is a
part
of
the other time interval
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
If
communal
is an
attribute
of
an object
and
the object
is an
instance
of
table
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
group of people
and
the process
is
located
at
the object
,
then the statement there exist
an entity
,
another entity
and
the object
2 such that
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the agent
is not
equal
to
the entity
and
the entity
is an
instance
of
group of people
and
the other entity
is
located
at
the object
2 and the
time
of existence of
the process
meet
s the
time
of existence of
the other entity
and
the object
is
equal
to
the object
2 has the
modal
force
of
possibility
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18203-18209
If
larval
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
birth
and
another time interval
is
equal
to the
time
of existence of
the process
and
the agent
experience
s
the process
,
then
the other time interval
meet
s
the time interval
(=>
(
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
If
a process
is an
instance
of
dodging
and
an agent
is an
agent
of
the process
and
the process
T is
equal
to the
time
of existence of
the process
,
then
the process
has the purpose there doesn't exist
an entity
such that
the process
T
meet
s the
time
of existence of
the entity
or the
time
of existence of
the entity
overlap
s
the process
T and
the entity
is an
instance
of
impacting
and
the agent
is a
patient
of
the entity
(=>
(
and
(
instance
?DAY1
(
DayFn
?NUMBER1 ?MONTH))
(
instance
?DAY2
(
DayFn
?NUMBER2 ?MONTH))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 8625-8630
If
a time interval
is an
instance
of the
day
a positive integer
and
another time interval
is an
instance
of the
day
another positive integer
and (
the other positive integer
and
the positive integer
) is
equal
to 1,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9328
If
a time interval
is an
instance
of
Friday
and
another time interval
is an
instance
of
Saturday
and
a time position
is an
instance
of
week
and
the time interval
is a
part
of
the time position
and
the other time interval
is a
part
of
the time position
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9269-9276
If
a time interval
is an
instance
of
Monday
and
another time interval
is an
instance
of
Tuesday
and
a time position
is an
instance
of
week
and
the time interval
is a
part
of
the time position
and
the other time interval
is a
part
of
the time position
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9334-9341
If
a time interval
is an
instance
of
Saturday
and
another time interval
is an
instance
of
Sunday
and
a time position
is an
instance
of
week
and
the time interval
is a
part
of
the time position
and
the other time interval
is a
part
of
the time position
,
then
the time interval
meet
s
the other time interval
(=>
(
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 9343-9352
If
a time interval
is an
instance
of
Sunday
and
another time interval
is an
instance
of
Monday
and
a third time interval
is an
instance
of
week
and
a fourth time interval
is an
instance
of
week
and
the time interval
is a
part
of
the third time interval
and
the other time interval
is a
part
of
the fourth time interval
and
the third time interval
meet
s
the fourth time interval
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9308-9315
If
a time interval
is an
instance
of
Thursday
and
another time interval
is an
instance
of
Friday
and
a time position
is an
instance
of
week
and
the time interval
is a
part
of
the time position
and
the other time interval
is a
part
of
the time position
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9282-9289
If
a time interval
is an
instance
of
Tuesday
and
another time interval
is an
instance
of
Wednesday
and
a time position
is an
instance
of
week
and
the time interval
is a
part
of
the time position
and
the other time interval
is a
part
of
the time position
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9295-9302
If
a time interval
is an
instance
of
Wednesday
and
another time interval
is an
instance
of
Thursday
and
a time position
is an
instance
of
week
and
the time interval
is a
part
of
the time position
and
the other time interval
is a
part
of
the time position
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11986-11993
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
,
then there exists
a physical
such that
the physical
is an
instance
of
pursuing
and the
time
of existence of
the physical
meet
s the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
downtick
and
a physical
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
an agent
and
an unit of measure
is an
instance
of
unit of currency
and
the physical
is
price
a real number
the unit of measure
(s) for
the agent
,
then there exist
another process
,
another agent
and
another real number
such that
the other process
is an
instance
of
stock market transaction
and
the physical
is a
patient
of
the other process
and the
time
of existence of
the other process
is
equal
to
the other agent
and
the other agent
meet
s
the agent
and
the physical
is
price
the other real number
the unit of measure
(s) for
the other agent
and
the other real number
is
greater
than
the real number
(=>
(
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 17280-17288
If
a process
is an
instance
of
escaping
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
confining
and
the agent
is a
patient
of
the other process
and the
time
of existence of
the other process
meet
s the
time
of existence of
the process
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 8944-8951
If
a time interval
is an
instance
of
evening
and
another time interval
is an
instance
of
afternoon
and
a third time interval
is an
instance
of
day
and
the time interval
takes place
during
the third time interval
and
the other time interval
takes place
during
the third time interval
,
then
the other time interval
meet
s
the time interval
(=>
(
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
If
a process
is an
instance
of
flashing light
and
the process
originate
s at
an object
,
then there exist
another process
,
a time interval
and
a third process
such that
the other process
is an
instance
of
radiating light
and
the time interval
is an
instance
of
time interval
and
the third process
is an
instance
of
radiating light
and the
time
of existence of
the other process
meet
s
another time interval
and
the other time interval
meet
s the
time
of existence of
the third process
and there doesn't exist
the other time interval
such that
the other time interval
is an
instance
of
radiating light
and
the other time interval
originate
s at
the object
and the
time
of existence of
the other time interval
takes place
during
the time interval
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
(=>
(
and
(
instance
?HOUR1
(
HourFn
?NUMBER1 ?DAY))
(
instance
?HOUR2
(
HourFn
?NUMBER2 ?DAY))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?HOUR1 ?HOUR2))
Merge.kif 8651-8656
If
a time interval
is an
instance
of the
hour
a nonnegative integer
and
another time interval
is an
instance
of the
hour
another nonnegative integer
and (
the other nonnegative integer
and
the nonnegative integer
) is
equal
to 1,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MINUTE1
(
MinuteFn
?NUMBER1 ?HOUR))
(
instance
?MINUTE2
(
MinuteFn
?NUMBER2 ?HOUR))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?MINUTE1 ?MINUTE2))
Merge.kif 8678-8683
If
a time interval
is an
instance
of the
minute
a nonnegative integer
and
another time interval
is an
instance
of the
minute
another nonnegative integer
and (
the other nonnegative integer
and
the nonnegative integer
) is
equal
to 1,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
April
?YEAR))
(
instance
?MONTH2
(
MonthFn
May
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9130-9134
If
a time interval
is an
instance
of the
month
April
and
another time interval
is an
instance
of the
month
May
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
August
?YEAR))
(
instance
?MONTH2
(
MonthFn
September
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9186-9190
If
a time interval
is an
instance
of the
month
August
and
another time interval
is an
instance
of the
month
September
,
then
the time interval
meet
s
the other time interval
(=>
(
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 9243-9250
If
a time interval
is an
instance
of the
month
December
and
another time interval
is an
instance
of the
month
January
and
a third time interval
is an
instance
of
a kind of year
and
a fourth time interval
is an
instance
of
another kind of year
and
the third time interval
meet
s
the fourth time interval
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
February
?YEAR))
(
instance
?MONTH2
(
MonthFn
March
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9102-9106
If
a time interval
is an
instance
of the
month
February
and
another time interval
is an
instance
of the
month
March
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
January
?YEAR))
(
instance
?MONTH2
(
MonthFn
February
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9078-9082
If
a time interval
is an
instance
of the
month
January
and
another time interval
is an
instance
of the
month
February
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
July
?YEAR))
(
instance
?MONTH2
(
MonthFn
August
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9172-9176
If
a time interval
is an
instance
of the
month
July
and
another time interval
is an
instance
of the
month
August
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9158-9162
If
a time interval
is an
instance
of the
month
June
and
another time interval
is an
instance
of the
month
July
,
then
the time interval
meet
s
the other time interval
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