Likely
(likely)
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
If
a process
is an
instance
of
dust storm
and
an object
is an
instance
of
geographic area
and
the process
is
located
at
the object
,
then the statement
Bad air quality
is an
attribute
of
the object
has the
modal
force
of
likely
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
If
an object
is an
instance
of
electrocardiogram
and
abnormal EKG
is an
attribute
of
the object
and
the object
includes a
reference
to
another object
and
the other object
is a
part
of
a third object
and
the other object
is an
instance
of
heart
,
then the statement
impaired body part fn
heart
is an
attribute
of
the third object
has the
modal
force
of
likely
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
If
an object
is an
instance
of
electrocardiogram
and
normal EKG
is an
attribute
of
the object
and
the object
includes a
reference
to
another object
and
the other object
is a
part
of
a third object
and
the other object
is an
instance
of
heart
,
then the statement
impaired body part fn
heart
is not an
attribute
of
the third object
has the
modal
force
of
likely
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
If
a process
is an
instance
of
process
and
a human
is an
instance
of
agent
and
an experimenting
is an
instance
of
experimenting
and
the human
is a
treated
used
in
the experimenting
and
the process
is a
process
in
the experimenting
and
the human
experience
s
another process
and
the human
experience
s
the process
and
the experimenting
causes
the other process
,
then there exists
the experimenting
ERIMENTER such that
the experimenting
ERIMENTER is an
instance
of
agent
and
the experimenting
ERIMENTER is the
experimenter
in
the experimenting
and
the experimenting
ERIMENTER
believe
s the statement
the process
cause
s
the other process
has the
modal
force
of
likely
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
If
a telecom number
is an
instance
of
hotline
and
the telecom number
is the
telephone
number
of
an agent
and
the agent
is an
instance
of
organization
,
then
the telecom number
has the purpose there exists
an entity
such that
the entity
is an
instance
of
telephoning
and
the entity
end
s up at
the agent
and the statement there exists
another entity
such that
the other entity
is an
instance
of
communication
and
the telecom number
is an
instrument
for
the other entity
and the
beginning
of the
time
of existence of
the other entity
is
equal
to the
beginning
of immediately
after
the
time
of existence of
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
If
a process
is an
instance
of
atmospheric hazing
and
an object
is an
instance
of
geographic area
and
the process
is
located
at
the object
,
then the statement
Bad air quality
is an
attribute
of
the object
has the
modal
force
of
likely
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
If
a process
is an
instance
of
impacting
and
an entity
is a
patient
of
the process
and
impaired body part fn
brain
is an
attribute
of
the entity
holds
during
immediately
after
the process
,
then the statement
mild traumatic brain injury
is an
attribute
of
the entity
holds
during
immediately
after
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
pathologic side effect
the object
C and
the object
IS,
then the statement there exists
an entity
such that
the entity
is an
instance
of
the object
IS and
the entity
experience
s
the agent
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
the object
IS is a
side
effect
of taking
the object
C,
then the statement
the object
IS is an
attribute
of
the agent
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
If
a transfer
is an
instance
of
ingesting
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
hallucinogen
and
the transfer
end
s up at
an entity
,
then the statement there exists
the object
AL such that
the object
AL is an
instance
of
hallucination
and
the entity
experience
s
the object
AL has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
If
a transfer
is an
instance
of
injecting
and
an object
is an
instance
of
adalimumab
and the object transferred in
the transfer
is
the object
and
the transfer
is
located
at
another object
and
the other object
is an
instance
of
body part
and
the transfer
end
s up at
an entity
,
then the statement there exists
another entity
such that
pain
in the
the other object
is an
attribute
of
the entity
holds
during
the other entity
and
the other entity
takes place
during
after
the
time
of existence of
the transfer
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
If
an object
is an
instance
of
intestine
and
another object
is an
instance
of
animal
and
the object
is a
part
of
the other object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
E. coli
and
the object
contain
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
If
an object
is an
instance
of
leaf spring
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
road vehicle
,
then the statement there exists
the object
2 such that
the object
2 is an
instance
of
leaf spring
and
the object
2 is a
part
of
the other object
and
the object
is not
equal
to
the object
2 and
the object
meet
s
the object
2 has the
modal
force
of
likely
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
If
a process
is an
instance
of
lupus
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
rash
and
the agent
experience
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
If
a process
is an
instance
of
coeliac disease
and
an agent
experience
s
the process
and
an object
is an
instance
of
small intestine
and
the object
is a
part
of
the agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
Diarrhoea
and
the agent
experience
s
the entity
and
the process
cause
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
If
a process
is an
instance
of
coeliac disease
and
an agent
experience
s
the process
and
an object
is an
instance
of
small intestine
and
the object
is a
part
of
the agent
,
then the statement
the process
is
located
at
the object
has the
modal
force
of
likely
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
If
a policy
is an
instance
of
daily housekeeping
and
an organization
enacts
policy
the policy
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
guest
at
the organization
and
the entity
stays
at
the other entity
and
the third entity
is
equal
to the
time
of existence of
the entity
stays
at
the other entity
and for all
a fourth entity
if
the fourth entity
is an
instance
of
day
and
the fourth entity
takes place
during
the third entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
service
and
the other entity
is a
patient
of
the fifth entity
and
the fifth entity
takes place
during
the fourth entity
holds
during
the third entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
If
a policy
is an
instance
of
no housekeeping
and
an organization
enacts
policy
the policy
and
traveler accommodation
is an
attribute
of
the organization
,
then the statement there exist
an entity
and
another entity
such that
the entity
is a
guest
at
the organization
and there doesn't exist
a third entity
such that
the third entity
is an
instance
of
service
and
the other entity
is a
patient
of
the third entity
holds
during
the
time
of existence of
the entity
stays
at
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
If
a policy
is an
instance
of
with housekeeping
and
an organization
enacts
policy
the policy
and
traveler accommodation
is an
attribute
of
the organization
,
then the statement there exist
an entity
and
another entity
such that
the entity
is a
guest
at
the organization
and there exists
a third entity
such that
the third entity
is an
instance
of
service
and
the other entity
is a
patient
of
the third entity
holds
during
the
time
of existence of
the entity
stays
at
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?PV
PhysicalViolence
)
(
agent
?PV ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?PV)
(
attribute
?A
Anger
))
Likely
))
emotion.kif 1646-1654
If
a process
is an
instance
of
violence
and
an agent
is an
agent
of
the process
,
then the statement
anger
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
If
an agent
is an
instance
of
restaurant
and
an object
is an
instance
of
dining room
and
private attribute
is an
attribute
of
the object
and
the agent
possess
es
the object
and
the agent
is a
customer
of
a cognitive agent
and
a process
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the process
and
the cognitive agent
is an
instance
of
group of people
,
then the statement there don't exist
an entity
and
another entity
such that
the agent
is a
customer
of
the entity
and
the cognitive agent
is not
equal
to
the entity
and
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the other entity
is
located
at
the object
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
If
a process
is an
instance
of
laughing
and
an agent
experience
s
the process
,
then the statement
happiness
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
If
a process
is an
instance
of
rash
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
pruritus
and
the agent
experience
s
the entity
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
If
a process
is an
instance
of
smiling
and
an agent
experience
s
the process
,
then the statement
happiness
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
If
a process
is an
instance
of
spamming
and
a collection
is an
instance
of
group of people
and
an integer
is a
member
count of
the collection
and
the process
end
s up at
the collection
,
then the statement
the integer
is
greater
than 100 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