during
(=>
(
and
(
instance
?W
(
WeekFn
?N ?Y))
(
instance
?YI ?Y))
(
during
?W ?YI))
Merge.kif 8959-8963
If
a time interval
is an
instance
of the
week
#
a positive integer
and
another time interval
is an
instance
of
a kind of year
,
then
the time interval
takes place
during
the other time interval
(=>
(
and
(
instance
?X
DryRoasting
)
(
instance
?F
Food
)
(
patient
?X ?F))
(
holdsDuring
?X
(
exists
(?H ?S)
(
and
(
instance
?H
Heating
)
(
instance
?S
Stirring
)
(
subProcess
?H ?X)
(
subProcess
?S ?X)
(
during
(
WhenFn
?S)
(
WhenFn
?H))
(
patient
?H ?F)
(
patient
?S ?F)
(
not
(
exists
(?O ?W)
(
and
(
instance
?O
Oil
)
(
instance
?W
DrinkingWater
)
(
patient
?X ?O)
(
patient
?X ?W))))))))
Food.kif 128-151
If
a process
is an
instance
of
dry roasting
and
an entity
is an
instance
of
food
and
the entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
heating
and
the third entity
is an
instance
of
stirring
and
the other entity
is a
subprocess
of
the process
and
the third entity
is a
subprocess
of
the process
and the
time
of existence of
the third entity
takes place
during
the
time
of existence of
the other entity
and
the entity
is a
patient
of
the other entity
and
the entity
is a
patient
of
the third entity
and there don't exist
a fourth entity
and
a fifth entity
such that
the fourth entity
is an
instance
of
oil
and
the fifth entity
is an
instance
of
potable water
and
the fourth entity
is a
patient
of
the process
and
the fifth entity
is a
patient
of
the process
holds
during
the process
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Breakfast
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
BreakfastTime
)))
Likely
))
Food.kif 1706-1716
If
an object
is an
instance
of
meal
and
breakfast
is an
attribute
of
the object
and
a process
is an
instance
of
eating
and
the object
is a
patient
of
the process
,
then the statement there exists
an entity
such that the
time
of existence of
the process
takes place
during
the entity
and
the entity
is an
instance
of
breakfast time
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Dinner
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
DinnerTime
)))
Likely
))
Food.kif 1793-1803
If
an object
is an
instance
of
meal
and
dinner
is an
attribute
of
the object
and
a process
is an
instance
of
eating
and
the object
is a
patient
of
the process
,
then the statement there exists
an entity
such that the
time
of existence of
the process
takes place
during
the entity
and
the entity
is an
instance
of
dinner time
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Lunch
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
LunchTime
)))
Likely
))
Food.kif 1776-1786
If
an object
is an
instance
of
meal
and
lunch
is an
attribute
of
the object
and
a process
is an
instance
of
eating
and
the object
is a
patient
of
the process
,
then the statement there exists
an entity
such that the
time
of existence of
the process
takes place
during
the entity
and
the entity
is an
instance
of
lunch time
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
NightClub
)
(
standardRetailHours
?TIME ?X))
(
exists
(?T)
(
and
(
instance
?T ?TIME)
(
during
?T
NightTime
))))
Dining.kif 419-426
If
an agent
is an
instance
of
night club
and the
standard
retail
hours
for
the agent
are
a kind of time interval
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
a kind of time interval
and
the other time interval
takes place
during
night time
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?DURING)
(
and
(
instance
?DURING
TimeInterval
)
(
during
?DURING ?INT)
(
holdsDuring
?DURING
(
registeredUser
?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3629-3638
If members of
a collection
have
registered
for
a web site
during
a time interval
and
a physical
is a
member
of
the collection
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
time interval
and
the other time interval
takes place
during
the time interval
and
the physical
is a
registered
user
of
the web site
holds
during
the other time interval
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30255-30266
If
an entity
is not an
instance
of
agent
and
motionless
is an
attribute
of
the entity
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
motion
and
the entity
is a
patient
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
and
(
observesHoliday
?A ?T1)
(
equal
?T2
(
WhenFn
?A)))
(
during
?T1 ?T2))
Media.kif 258-262
If
a cognitive agent
observes
a holiday
and
a time interval
is
equal
to the
time
of existence of
the cognitive agent
,
then
the holiday
takes place
during
the time interval
(=>
(
and
(
passenger
?PROC ?PASS)
(
instance
?V
Vehicle
)
(
instrument
?PROC ?V))
(
not
(
exists
(?G)
(
and
(
during
(
WhenFn
?G)
(
WhenFn
?PROC))
(
instance
?G
Guiding
)
(
agent
?G ?PASS)
(
instrument
?G ?V)))))
Mid-level-ontology.kif 30772-30783
If
an agent
is a passenger in
a transfer
and
an object
is an
instance
of
vehicle
and
the object
is an
instrument
for
the transfer
,
then there doesn't exist
a process
such that the
time
of existence of
the process
takes place
during
the
time
of existence of
the transfer
and
the process
is an
instance
of
guiding
and
the agent
is an
agent
of
the process
and
the object
is an
instrument
for
the process
(=>
(
and
(
physicalAmplitude
?T
(
MeasureFn
?L ?U))
(
instance
?U
UnitOfLength
)
(
patient
?T ?O))
(
not
(
exists
(?P1 ?P2 ?T1 ?T2 ?L2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?L2 ?U))
(
greaterThan
?L2 ?L)))))
Cars.kif 751-768
If the amplitude
a tremor
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
and
an entity
is a
patient
of
the tremor
,
then there don't exist
a physical
,
another physical
,, ,
the tremor
1,, ,
the tremor
2 and
the real number
2 such that
the tremor
1 takes place
during
the
time
of existence of
the tremor
and
the tremor
2 takes place
during
the
time
of existence of
the tremor
and
the entity
is
located
at
the physical
holds
during
the tremor
1 and
the entity
is
located
at
the other physical
holds
during
the tremor
2 and the
distance
between
the physical
and
the other physical
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than
the real number
(=>
(
and
(
physicalAmplitude
?T ?L)
(
patient
?T ?O))
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2 ?L))))
Cars.kif 737-749
If the amplitude
a tremor
is
a length measure
and
an entity
is a
patient
of
the tremor
,
then there exist
a physical
,
another physical
,, ,
the tremor
1 and
the tremor
2 such that
the tremor
1 takes place
during
the
time
of existence of
the tremor
and
the tremor
2 takes place
during
the
time
of existence of
the tremor
and
the entity
is
located
at
the physical
holds
during
the tremor
1 and
the entity
is
located
at
the other physical
holds
during
the tremor
2 and the
distance
between
the physical
and
the other physical
is
the length measure
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
If
a physical
the
attribute
booting up
and
the physical
is an
instance
of
computer
,
then there exist
an object
,
another object
and
a transfer
such that
the object
is an
instance
of
digital data
and
the other object
is an
instance
of
operating system
and
the transfer
is an
instance
of
data transfer
and the
time
of existence of
the transfer
takes place
during
the
time
of existence of
the physical
and
the transfer
end
s up at
the physical
and
the object
is a
part
of
the other object
and the object transferred in
the transfer
is
the object
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
If the
price
of
a kind of physical
set by
a cognitive agent
according to
a pricing scheme
is
a function quantity
and
the function quantity
is
equal
to the
per
of
a currency measure
and the
measure
of
a real number
is
an unit of measure
and
the unit of measure
is an
instance
of
unit of duration
and
an entity
is an
immediate
instance of
a kind of physical
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
the real number
INT takes place
during
the other time interval
and
the other time interval
is an
instance
of
time interval
and
duration
of
the other time interval
is
the other real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s up at
the cognitive agent
and
the agent
is an
agent
of
the financial transaction
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
and
(
restingBreathingRate
?H ?R)
(
instance
?L
Lung
)
(
part
?L ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
breathingRate
?H ?T ?R))))
Medicine.kif 342-357
If the
resting
breathing rate of
a mammal
is
an integer
and
an object
is an
instance
of
lung
and
the object
is a
part
of
the mammal
,
then there exists
a time interval
such that there doesn't exist
the integer
EC such that
the integer
EC is an
instance
of
recreation or exercise
and
the mammal
is an
agent
of
the integer
EC and
the time interval
takes place
during
the
time
of existence of
the integer
EC and
the time interval
is an
instance
of
minute
and
the mammal
breathes
at a rate of
the integer
breaths per
the time interval
(=>
(
and
(
restingHeartRate
?H ?R)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
heartRate
?H ?T ?R))))
Medicine.kif 122-136
If the
resting
heart rate of
a mammal
is
an integer
and
the mammal
EART is an
instance
of
heart
and
the mammal
EART is a
part
of
the mammal
,
then there exists
a time interval
such that there doesn't exist
the integer
EC such that
the integer
EC is an
instance
of
recreation or exercise
and
the mammal
is an
agent
of
the integer
EC and
the time interval
takes place
during
the
time
of existence of
the integer
EC and
the time interval
is an
instance
of
minute
and
the mammal
beats
at a rate of
the integer
beats per
the time interval
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
integer
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
collection
and
a kind of object
is a
member
type of
the other entity
and
the quantity
is a
member
count of
the other entity
and
the cognitive agent
possess
es
the other entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
If there is a
shortage
of
an integer
of
a kind of object
for
an agent
at
a currency measure
during
a time interval
and
the integer
is an
instance
of
integer
,
then there don't exist
a transfer
and
a collection
such that
the transfer
is an
instance
of
buying
and the
time
of existence of
the transfer
takes place
during
the time interval
and the object transferred in
the transfer
is
the collection
and
the currency measure
is a
transaction
amount of
the transfer
and
the agent
is an
agent
of
the transfer
and
the collection
is an
instance
of
collection
and
a kind of object
is a
member
type of
the collection
and
the integer
is a
member
count of
the collection
and
the agent
possess
es
the collection
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
If there is a
shortage
of
a quantity
of
a kind of object
for
a cognitive agent
at
a currency measure
during
a time interval
and
the quantity
is an
instance
of
physical quantity
,
then
the cognitive agent
desire
s there exist
an entity
and
another entity
such that
the entity
is an
instance
of
buying
and the
time
of existence of
the entity
takes place
during
the time interval
and the object transferred in
the entity
is
the other entity
and
the currency measure
is a
transaction
amount of
the entity
and
the cognitive agent
is an
agent
of
the entity
and
the other entity
is an
instance
of
a kind of object
and the
measure
of
the other entity
is
the quantity
and
the cognitive agent
possess
es
the other entity
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
If there is a
shortage
of
a physical quantity
of
a kind of object
for
an agent
at
a currency measure
during
a time interval
and
the physical quantity
is an
instance
of
physical quantity
,
then there don't exist
a transfer
and
another object
such that
the transfer
is an
instance
of
buying
and the
time
of existence of
the transfer
takes place
during
the time interval
and the object transferred in
the transfer
is
the other object
and
the currency measure
is a
transaction
amount of
the transfer
and
the agent
is an
agent
of
the transfer
and
the other object
is an
instance
of
a kind of object
and the
measure
of
the other object
is
the physical quantity
and
the agent
possess
es
the other object
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2709-2726
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
,
then there don't exist
a process
,
an agent
,, ,
an object
and
another real number
such that
the process
is an
instance
of
looking
and
the agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and the
time
of existence of
the process
takes place
during
the time interval
and
the process
is
located
at
the region
and the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the other real number
is
greater
than
the real number
(=>
(
breathingRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
Breath
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10386-10398
If
a lung
breathes
at a rate of
an integer
breaths per
a time interval
,
then there exist
a collection
and
a process
such that
the collection
is an
instance
of
collection
and
Breath
is a
member
type of
the collection
and
the integer
is a
member
count of
the collection
and
if
the process
is a
member
of
the collection
,
then
the lung
is a
patient
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
equal
?C
(
ContestFn
?CONTEST ?TI))
(
and
(
instance
?C ?CONTEST)
(
during
(
WhenFn
?C) ?TI)))
Music.kif 1051-1055
If
a contest
is
equal
to the
the contest
ONTEST that
occurred
at
a time interval
,
then
the contest
is an
instance
of
the contest
ONTEST and the
time
of existence of
the contest
takes place
during
the time interval
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2974-2986
If the
value
of everything purchased by
an agent
for
an organization
during
a time interval
is
a currency measure
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
(=>
(
grossMerchandiseSoldInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?S
Selling
)
(
instance
?ITEM ?COL)
(
agent
?S ?A)
(
patient
?S ?ITEM)
(
patient
?S ?O)
(
during
?S ?TP))))))
ComputerInput.kif 2998-3010
If
GMV
an agent
,
an organization
,
a currency measure
and
a time interval
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
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