meetsTemporally
(=>
(
and
(
instance
?MONTH1
(
MonthFn
June
?YEAR))
(
instance
?MONTH2
(
MonthFn
July
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9249-9253
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
(=>
(
and
(
instance
?MONTH1
(
MonthFn
March
?YEAR))
(
instance
?MONTH2
(
MonthFn
April
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9207-9211
If
a time interval
is an
instance
of the
month
March
and
another time interval
is an
instance
of the
month
April
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
May
?YEAR))
(
instance
?MONTH2
(
MonthFn
June
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9235-9239
If
a time interval
is an
instance
of the
month
May
and
another time interval
is an
instance
of the
month
June
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
November
?YEAR))
(
instance
?MONTH2
(
MonthFn
December
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9320-9324
If
a time interval
is an
instance
of the
month
November
and
another time interval
is an
instance
of the
month
December
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
October
?YEAR))
(
instance
?MONTH2
(
MonthFn
November
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9306-9310
If
a time interval
is an
instance
of the
month
October
and
another time interval
is an
instance
of the
month
November
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
September
?YEAR))
(
instance
?MONTH2
(
MonthFn
October
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9292-9296
If
a time interval
is an
instance
of the
month
September
and
another time interval
is an
instance
of the
month
October
,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 295-308
If
a process
is an
instance
of
opening an account
and
the process
is
located
at
a financial organization
and
the financial organization
is an
instance
of
financial organization
and
a cognitive agent
is an
agent
of
the process
and
equal
the
time
of existence of
the process
and
the process
Time,
then there exist
a financial account
and
the financial account
Period such that
the financial account
Period is an
agreement
period of
the financial account
and
the process
Time
meet
s
the financial account
Period and
the financial account
is an
instance
of
financial account
and
the financial account
is
held
by
the financial organization
and
the cognitive agent
holds
account
the financial account
(=>
(
and
(
instance
?Place
PlacingAnOrder
)
(
equal
(
WhenFn
?Place) ?Time))
(
exists
(?Order ?Period)
(
and
(
equal
(
WhenFn
?Order) ?Period)
(
meetsTemporally
?Time ?Period))))
FinancialOntology.kif 1969-1976
If
a physical
is an
instance
of
placing an order
and
equal
the
time
of existence of
the physical
and
a time interval
,
then there exist
another physical
and
another time interval
such that
equal
the
time
of existence of
the other physical
and
the other time interval
and
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?SECOND1
(
SecondFn
?NUMBER1 ?MINUTE))
(
instance
?SECOND2
(
SecondFn
?NUMBER2 ?MINUTE))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?SECOND1 ?SECOND2))
Merge.kif 8796-8801
If
a time interval
is an
instance
of the
second
a positive integer
and
another time interval
is an
instance
of the
second
another positive integer
and
equal
(
the other positive integer
and
the positive integer
) and 1,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 6014-6034
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?P1
Transitway
)
(
path
?T ?P1)
(
conveyance
?T ?V)
(
instance
?J
TransitwayJunction
)
(
part
?J ?P1))
(
exists
(?P2 ?M)
(
and
(
instance
?P2
Transitway
)
(
not
(
equal
?P1 ?P2))
(
connects
?J ?P1 ?P2)
(
capability
Transfer
path
?J)
(
instance
?M
Transfer
)
(
conveyance
?M ?V)
(
meetsTemporally
(
WhenFn
?T)
(
WhenFn
?M))
(
modalAttribute
(
path
?M ?P2)
Possibility
))))
Transportation.kif 3822-3842
If
a transportation
is an
instance
of
transportation
and
an object
is an
instance
of
transitway
and
the object
is
path
along which
the transportation
occurs and
a transportation device
is a
conveyance
during
the transportation
and
another object
is an
instance
of
transitway junction
and
the other object
is a
part
of
the object
,
then there exist
a third object
and
another transportation
such that
the third object
is an
instance
of
transitway
and
equal
the object
and
the third object
and
the other object
connect
s
the object
and
the third object
and
the other object
is
capable
of doing
transfer
as a
path
and
the other transportation
is an
instance
of
transfer
and
the transportation device
is a
conveyance
during
the other transportation
and the
time
of existence of
the transportation
meet
s the
time
of existence of
the other transportation
and the statement
the third object
is
path
along which
the other transportation
occurs has the
modal
force
of
possibility
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?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)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3229-3245
If
a process
is an
instance
of
uptick
and
a physical
is a
patient
of
the process
and
equal
the
time
of existence of
the process
and
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
equal
the
time
of existence of
the other process
and
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
less
than
the real number
(=>
(
and
(
instance
?VP
ValetParking
)
(
patient
?VP ?VEHICLE)
(
instance
?A
Arriving
)
(
patient
?A ?VEHICLE))
(
meetsTemporally
(
EndFn
(
WhenFn
?A))
(
BeginFn
(
WhenFn
?VP))))
TransportDetail.kif 178-186
If
a process
is an
instance
of
valet parking
and
an entity
is a
patient
of
the process
and
another process
is an
instance
of
arriving
and
the entity
is a
patient
of
the other process
,
then the
end
of the
time
of existence of
the other process
meet
s the
beginning
of the
time
of existence of
the process
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8861-8866
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
equal
(
the other integer
and
the integer
) and 1,
then
the time interval
meet
s
the other time interval
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 106-120
If
value
of
a check
is
a currency measure
and
a financial account
is a
check
account of
the check
and
a process
is an
instance
of
processing a check
and
the check
is a
patient
of
the process
and
equal
the
time
of existence of
the process
and
the process
Time,
then there exist
a financial transaction
and
the financial transaction
Time such that
the financial transaction
is an
instance
of
withdrawing from an account
and
the check
is an
instrument
for
the financial transaction
and
equal
the
time
of existence of
the financial transaction
and
the financial transaction
Time and
the process
Time
meet
s
the financial transaction
Time and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
originate
s at
the financial account
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 122-137
If
value
of
an object
is
a currency measure
and
a process
is an
instance
of
processing a check
and
the object
is a
patient
of
the process
and
the process
end
s up at the
currency
of
a financial account
and
the financial account
is an
instance
of
financial account
and
equal
the
time
of existence of
the process
and
the process
Time,
then there exist
a financial transaction
and
the financial transaction
Time such that
the financial transaction
is an
instance
of
deposit
and
the object
is an
instrument
for
the financial transaction
and
equal
the
time
of existence of
the financial transaction
and
the financial transaction
Time and
the process
Time
meet
s
the financial transaction
Time and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at the
currency
of
the financial account
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 428-439
If
a computer program
is a
shutdown
of
a shutdown block
and
a computer process
is an
instance
of
computer process
and
the shutdown block
is a
program
running of
the computer process
and
equal
the
time
of existence of
the computer process
and
a time interval
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the other computer process
and
equal
the
time
of existence of
the other computer process
and
the other time interval
and
the other time interval
meet
s
the time interval
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 388-399
If
a computer program
is a
startup
of
a startup block
and
a computer process
is an
instance
of
computer process
and
the startup block
is a
program
running of
the computer process
and
equal
the
time
of existence of
the computer process
and
a time interval
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the other computer process
and
equal
the
time
of existence of
the other computer process
and
the other time interval
and
the time interval
meet
s
the other time interval
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8452-8456
If
equal
the
end
of
a time interval
and the
beginning
of
another time interval
,
then
the time interval
meet
s
the other time interval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9531-9543
If
equal
decomposition
of
a time interval
into
the time interval
TYPEs and
another kind of time interval
,
then for all
a third time interval
and
a fourth time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the fourth time interval
is an
instance
of
the other kind of time interval
and
equal
the third time interval
and
the fourth time interval
,
then
the third time interval
meet
s
the fourth time interval
or
the fourth time interval
meet
s
the third time interval
or
the third time interval
happens
earlier
than
the fourth time interval
or
the fourth time interval
happens
earlier
than
the third time interval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9559-9569
If
equal
decomposition
of
a time interval
into
the time interval
TYPEs and
another kind of time interval
,
then for all
a third time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
doesn't
finish
the time interval
,
then there exists
a fourth time interval
such that
the fourth time interval
is an
instance
of
the other kind of time interval
and
the third time interval
meet
s
the fourth time interval
(=>
(
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 9571-9581
If
equal
decomposition
of
a time interval
into
the time interval
TYPEs and
another kind of time interval
,
then for all
a third time interval
if
the third time interval
is an
instance
of
another kind of time interval
and
the third time interval
doesn't
start
the time interval
,
then there exists
a fourth time interval
such that
the fourth time interval
is an
instance
of
the other kind of time interval
and
the fourth time interval
meet
s
the third time interval
(=>
(
holdsDuring
?T
(
attribute
?H
BoneFracture
))
(
exists
(?S ?B)
(
and
(
instance
?S
Separating
)
(
patient
?S ?B)
(
instance
?B
Bone
)
(
part
?B ?H)
(
meetsTemporally
(
WhenFn
?S) ?T))))
Medicine.kif 6145-6154
If
bone fracture
is an
attribute
of
an object
holds
during
a time interval
,
then there exist
a process
and
another object
such that
the process
is an
instance
of
separating
and
the other object
is a
patient
of
the process
and
the other object
is an
instance
of
bone
and
the other object
is a
part
of
the object
and the
time
of existence of
the process
meet
s
the time interval
(=>
(
holdsDuring
?T
(
attribute
?H
BurnInjury
))
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
located
?C ?H)
(
meetsTemporally
(
WhenFn
?C) ?T))))
Medicine.kif 6053-6060
If
burn injury
is an
attribute
of
an object
holds
during
a time interval
,
then there exists
a physical
such that
the physical
is an
instance
of
burning
and
the physical
is
located
at
the object
and the
time
of existence of
the physical
meet
s
the time interval
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 17798-17814
If
dizziness
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
believe
s
if there exists
the time position
2 such that
the time position
2 takes place
during
the time position
and
standing
is an
attribute
of
the entity
holds
during
the time position
2,
then there exists
a third entity
such that
the third entity
is an
instance
of
falling
and
the entity
experience
s
the third entity
and
the time position
2
meet
s the
time
of existence of
the third entity
holds
during
the time position
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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