modalAttribute
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
non composite unit of measure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
If the
minimum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement there exists
the real number
ADIUS such that the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
If The
defaultValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
equal
to
the other entity
has the
modal
force
of
likely
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
If
an agent
employ
s
a cognitive agent
and
traveler accommodation
is an
attribute
of
the agent
and
tennis pro
is an
attribute
of
the cognitive agent
and
another cognitive agent
is a
guest
at
the agent
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
tennis
and
the cognitive agent
participates
in
the entity
and
the other cognitive agent
participates
in
the entity
and
the entity
is
located
at
the other entity
and
the agent
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
If
an agent
employ
s
a cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the cognitive agent
is an
agent
of
the other process
,
then the statement there exists
an entity
such that
the other process
cause
s
the entity
and
the cognitive agent
suffers
from
the entity
has the
modal
force
of
possibility
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
If
an agent
employ
s
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
a process
is an
instance
of
do network messaging
and
an object
is a
result
of
the process
and
not safe for work
is an
attribute
of
the object
and
the cognitive agent
is an
agent
of
the process
and
another process
is an
instance
of
seeing
and
the object
is a
patient
of
the other process
and
the other cognitive agent
is an
agent
of
the other process
,
then the statement there exists
the cognitive agent
ROC such that
the process
cause
s
the cognitive agent
ROC and
the cognitive agent
suffers
from
the cognitive agent
ROC has the
modal
force
of
likely
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
If the idle speed of
an internal combustion engine
is the rotation of
a real number
miles per hour
(s) during
a time duration
and
an object
is an
instance
of
automobile
and
a process
is an
instance
of
gas pedal
and
the process
is an
instance
of
pushing
and
the process
end
s up at
another object
and
the internal combustion engine
is a
part
of
the object
and
the other object
is a
part
of
the object
and
a third object
is an
instance
of
crankshaft
and
the third object
is a
part
of
the internal combustion engine
and the
measure
of
the third object
is the rotation of
an entity
miles per hour
(s) during
the time duration
holds
during
the
time
of existence of
the process
,
then the statement
the entity
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
hardwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
deciduous tree
has the
modal
force
of
likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
softwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
conifers
has the
modal
force
of
likely
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
If
an agent
provides
an object
and
the agent
is a
customer
of
a cognitive agent
and
an entity
is an
instance
of
the object
and
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
intentional process
and
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
,
then the statement
the agent
allow
s
the cognitive agent
to perform task of the type
the cognitive agent
use
s
the entity
has the
modal
force
of
possibility
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
If use of
a kind of physical
is free for
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
another entity
and
a kind of physical
is a
subclass
of
object
,
then the statement there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
the kind of physical
and
the fourth entity
is an
instance
of
process
and
the third entity
is a
resource
for
the fourth entity
or
the third entity
is an
instrument
for
the fourth entity
or
the third entity
is a
patient
of
the fourth entity
and
the other entity
is an
agent
of
the fourth entity
or
the other entity
experience
s
the fourth entity
has the
modal
force
of
possibility
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
If
monarchy
is a
government
type of
an agent
and
an organism
is an
instance
of
human
and
another organism
is an
instance
of
human
and
the agent
chief
of state
an entity
for
the organism
holds
during
a time interval
and
the organism
and
the other organism
are
related
and
the time interval
happens
earlier
than
another time interval
,
then the statement
the agent
chief
of state
the entity
for
the other organism
holds
during
the other time interval
has the
modal
force
of
possibility
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
If
a cognitive agent
has
account
an user account
and
the user account
has
password
a computer password
and
device account
the user account
and
a computer
and
the cognitive agent
doesn't
know
the user account
has
password
the computer password
and
the cognitive agent
know
s the account
the user account
has
recovery
key
an entity
and
the cognitive agent
possess
es
the computer
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
change password
and
the user account
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
If
an emotional state
is an
attribute
of
an entity
holds
during
a time position
and
action tendency
the emotional state
and
a kind of emotional behavioral process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
a kind of emotional behavioral process
and the
time
of existence of
the other entity
takes place
during
the time position
and
the entity
experience
s
the other entity
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
If
menopause
is an
attribute
of
a human
holds
during
a time interval
and
a day
is a
birthdate
of
the human
and
the day
is an
instance
of the
day
a positive integer
and
a real number
is
equal
to (49 and
an integer
) and
another real number
is
equal
to (52 and
the integer
) and
a time point
is
equal
to the
beginning
of
the time interval
,
then the statement
the time point
is
greater
than
the real number
and
the other real number
is
greater
than
the time point
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
If
impaired body part fn
a class
is an
attribute
of
an object
holds
during
a time position
and
the class
I is an
instance
of
the class
and
the class
I is a
part
of
the object
and
the class
I has the purpose
a formula
,
then the statement
the formula
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
If
ME/CFS
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
recreation or exercise
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
,
then the statement
PEM
is an
attribute
of
the agent
holds
during
the time interval
2 and the
time
of existence of
the process
happens
earlier
than
the time interval
2 has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
If
booting up
is an
attribute
of
an engineering component
holds
during
a physical
and
host ready
is an
attribute
of
the engineering component
holds
during
the physical
2 and
the physical
2 is
equal
to immediately
after
the
time
of existence of
the physical
and
another engineering component
is an
instance
of
computer display
and
the other engineering component
is
connected
to
the engineering component
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
home screen
and
the entity
is
displayed
on
the other engineering component
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
If the
measure
of
an object
is
a function quantity
holds
during
a time position
and the idle speed of
an internal combustion engine
is
the function quantity
and
another object
is an
instance
of
automobile
and
the internal combustion engine
is a
part
of
the other object
and
the object
is a
part
of
the internal combustion engine
,
then the statement there don't exist
an entity
and
another entity
such that
the entity
takes place
during
the time position
and
the entity
is an
instance
of
pushing
and
the entity
end
s up at
the other entity
and
the other entity
is a
part
of
the other object
has the
modal
force
of
likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
If
dieting
is an
attribute
of
an agent
holds
during
a time interval
and
dieting
is not an
attribute
of
the agent
holds
during
another time interval
and
an object
is an
instance
of
meal
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
the object
is a
resource
for
the process
and the
time
of existence of
the process
takes place
during
the time interval
and the
measure
of
the object
is
a real number
calorie
(s) and
another object
is an
instance
of
meal
and
another process
is an
instance
of
eating
and
the agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
and the
time
of existence of
the other process
takes place
during
the other time interval
and the
measure
of
the other object
is
another real number
calorie
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
If
a process
is an
instance
of
anaphylaxis
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
death
and
the agent
experience
s
the entity
and
the process
cause
s
the entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
If
an object
is an
instance
of
antigen COVID test
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
measuring
and
another object
is a
patient
of
the process
and
a third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
,
then the statement
the other object
know
s there exists
the third object
such that
the third object
is an
instance
of
COVID antibody
and
the third object
is a
part
of
the other object
has the
modal
force
of
likely
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
If
an agent
is an
instance
of
biped
and
a process
is an
instance
of
ambulating
and
the agent
is an
agent
of
the process
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
leg
and
the other entity
is an
instance
of
leg
and
the entity
is a
part
of
the agent
and
the other entity
is a
part
of
the agent
and
the entity
is an
instrument
for
the process
and
the other entity
is an
instrument
for
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
If
a process
is an
instance
of
rheumatoid arthritis
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
joint pain
and
the process
cause
s
the entity
has the
modal
force
of
likely
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