meetsTemporally
(=>
(
and
(
instance
?MONTH1
(
MonthFn
March
?YEAR))
(
instance
?MONTH2
(
MonthFn
April
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9094-9098
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 9122-9126
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 9207-9211
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 9193-9197
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 9179-9183
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 293-306
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 the
time
of existence of
the process
is
equal
to
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 1952-1959
If
a physical
is an
instance
of
placing an order
and the
time
of existence of
the physical
is
equal
to
a time interval
,
then there exist
another physical
and
another time interval
such that the
time
of existence of
the other physical
is
equal
to
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 8683-8688
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 (
the other positive integer
and
the positive integer
) is
equal
to 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 5997-6017
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
?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 3212-3228
If
a process
is an
instance
of
uptick
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
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 174-182
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 8748-8753
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 (
the other integer
and
the integer
) is
equal
to 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 104-118
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
processingA check
and
the check
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
the process
Time,
then there exist
a financial transaction
and
the financial transaction
Time such that
the financial transaction
is an
instance
of
withdrawal
and
the check
is an
instrument
for
the financial transaction
and the
time
of existence of
the financial transaction
is
equal
to
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 120-135
If
value
of
an object
is
a currency measure
and
a process
is an
instance
of
processingA 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 the
time
of existence of
the process
is
equal
to
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 the
time
of existence of
the financial transaction
is
equal
to
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 427-438
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 the
time
of existence of
the computer process
is
equal
to
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 the
time
of existence of
the other computer process
is
equal
to
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 387-398
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 the
time
of existence of
the computer process
is
equal
to
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 the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the time interval
meet
s
the other time interval
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
If the
end
of
a time interval
is
equal
to 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 9395-9407
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
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
the third time interval
is not
equal
to
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 9423-9433
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
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 9435-9445
If
decomposition
of
a time interval
into
the time interval
TYPEs is
equal
to
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 6128-6137
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 6036-6043
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 16411-16427
If
dizzy
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
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19202-19207
If
a time interval
is an
instance
of
fall season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
summer season
and
the other time interval
meet
s
the time interval
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19209-19214
If
a time interval
is an
instance
of
fall season
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
winter season
and
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
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