attribute
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
If
suite
is an
attribute
of
an object
and
the object
is an
instance
of
hotel unit
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
hotel room
and
the third object
is an
instance
of
hotel room
and
the other object
is
inside
to
the object
and
the third object
is
inside
to
the object
and
the other object
is not
equal
to
the third object
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
If
traveler accommodation
is an
attribute
of
an agent
and
the agent
is
capable
of doing
service
as a
agent
,
then there exist
a cognitive agent
and
an object
such that
the agent
employ
s
the cognitive agent
and
maid
is an
attribute
of
the cognitive agent
and
the object
is an
instance
of
hotel unit
and
the object
is a
part
of
belongings
of
the agent
and
the object
is
capable
of doing
service
as a
patient
and
the cognitive agent
is
capable
of doing
service
as a
service provider
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1452-1457
If
traveler accommodation
is an
attribute
of
an agent
and
an entity
is an
element
of
belongings
of
the agent
and
the entity
is an
instance
of
casino
,
then
casino hotels
is an
attribute
of
the agent
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20601-20623
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
an agent
employ
s
the cognitive agent
and
the agent
is an
instance
of
restaurant
and
the agent
is a
customer
of
another cognitive agent
and
the other cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then there exist
another object
,
an entity
,, ,
another entity
and
a third object
such that
the agent
possess
es
the third object
and
the third object
is an
instance
of
kitchen area
and
the other object
is an
instance
of
dining area
and
the object
is
located
at
the other object
and
the cognitive agent
has the purpose
the entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the third object
and
the entity
end
s up at
the object
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
food
for
human
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 26159-26171
If
wheelchair accessible
is an
attribute
of
an object
and
the object
is an
instance
of
building
or
the object
is an
instance
of
room
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
motion
and
the other entity
is an
instrument
for
the entity
and
the other entity
is an
instance
of
wheelchair
and
the entity
is
located
at
the object
has the
modal
force
of
possibility
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
If
writer
is an
attribute
of
an agent
and
an entity
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
text
or
the kind of content bearing object
is a
subclass
of
document
and
a process
is an
instance
of
writing
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
,
then
the agent
is the
author
of
the kind of content bearing object
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
If
an agent
breathes
at a rate of
an integer
breaths per
a time interval
and
the time interval
is an
instance
of
minute
and there doesn't exist
the integer
such that
the integer
is an
instance
of
recreation or exercise
and
the agent
is an
agent
of
the integer
and
the time interval
takes place
during
the
time
of existence of
the integer
and
human adult
is an
attribute
of
the agent
holds
during
the time interval
and
the integer
is
greater
than 16 or
the integer
is
less
than 12,
then
healthy
is not an
attribute
of
the agent
holds
during
the time interval
(=>
(
and
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
attribute
?X
HeartHealthyFood
) ?NUMBER1)
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
not
(
attribute
?X
HeartHealthyFood
)) ?NUMBER2))
(
lessThan
?NUMBER1 ?NUMBER2))
Dining.kif 1148-1156
If
probability
of
comfort food
is an
attribute
of
an entity
provided that
heart-healthy food
is an
attribute
of
the entity
holds is
a real number
and
probability
of
comfort food
is an
attribute
of
the entity
provided that
heart-healthy food
is not an
attribute
of
the entity
holds is
another real number
,
then
the real number
is
less
than
the other real number
(=>
(
and
(
connectedBodyPart
?A ?B)
(
attribute
?H
Healthy
))
(
exists
(?AI ?BI)
(
and
(
instance
?AI ?A)
(
instance
?BI ?B)
(
part
?AI ?H)
(
part
?BI ?H)
(
connected
?AI ?BI))))
Mid-level-ontology.kif 11967-11977
If a
a kind of body part
is
connected
to a
another kind of body part
and
healthy
is an
attribute
of
an object
,
then there exist
a kind of body part
I and
another kind of body part
I such that
the kind of body part
I is an
instance
of
the kind of body part
and
the other kind of body part
I is an
instance
of
the other kind of body part
and
the kind of body part
I is a
part
of
the object
and
the other kind of body part
I is a
part
of
the object
and
the kind of body part
I is
connected
to
the other kind of body part
I
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
If
connectedBodyPartTypes
a kind of body part
,
another kind of body part
and
a kind of organism
and
a kind of organism
C is an
instance
of
the kind of organism
and
disease or syndrome
is not an
attribute
of
another object
,
then there exist
a third object
and
a fourth object
such that
the third object
is an
instance
of
a kind of body part
and
the fourth object
is an
instance
of
another kind of body part
and
the third object
is not
equal
to
the fourth object
and
the third object
is a
part
of
the kind of organism
C and
the fourth object
is a
part
of
the kind of organism
C and
the third object
is
connected
to
the fourth object
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
If
an agent
is a
customer
of
a cognitive agent
and
the agent
employ
s
another cognitive agent
and
traveler accommodation
is an
attribute
of
the agent
and
porter
is an
attribute
of
the other cognitive agent
and
the cognitive agent
possess
es
an object
and
the object
is an
instance
of
travel container
,
then there exist
another object
and
a process
such that
the other object
is an
instance
of
hotel unit
and
the process
is an
instance
of
carrying
and
the other cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other object
or
the process
originate
s at
the other object
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
If the
maximum
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
greater
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
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
If
an object
is an
element
of
belongings
of
an organization
and
annex room
is an
attribute
of
the object
and
the object
is an
instance
of
hotel room
,
then there exist
another object
,
a third object
and
another organization
such that
the other organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
front desk
and
the other organization
is
located
at
the other object
and
the other object
is an
element
of
belongings
of
the organization
and
the third object
is an
element
of
belongings
of
the organization
and
the object
is a
part
of
the third object
and
the other object
is not
equal
to
the third object
(=>
(
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
(
ennervates
?NC ?MC)
(
instance
?N ?NC)
(
instance
?M ?MC)
(
part
?N ?H)
(
part
?M ?H)
(
attribute
?H
Healthy
)
(
instance
?H
Human
))
(
hasPurpose
?N
(
exists
(?NF ?C)
(
and
(
instance
?NF
NerveFiring
)
(
instrument
?NF ?N)
(
instance
?MC
MuscleContraction
)
(
instrument
?MV ?M)
(
causes
?NF ?MC)))))
Anatomy.kif 1923-1939
If
ennervates
a kind of nerve
and
a kind of muscle
and
an object
is an
instance
of
a kind of nerve
and
another object
is an
instance
of
a kind of muscle
and
the object
is a
part
of
a third object
and
the other object
is a
part
of
the third object
and
healthy
is an
attribute
of
the third object
and
the third object
is an
instance
of
human
,
then
the object
has the purpose there exist
the object
F and
another entity
such that
the object
F is an
instance
of
NerveFiring
and
the object
is an
instrument
for
the object
F and
the kind of muscle
is an
instance
of
MuscleContraction
and
the other object
is an
instrument
for
the other object
V and
the object
F
cause
s
the kind of muscle
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10032-10037
If
an object
fill
s
a hole
and
fillable
is an
attribute
of
another object
,
then
the object
and
the other object
doesn't
overlapsSpatially
(=>
(
and
(
holdsDuring
?H
(
attribute
?A
Christian
))
(
instance
?H
ChristmasDay
))
(
observesHoliday
?A ?H))
Media.kif 406-411
If
christian
is an
attribute
of
a cognitive agent
holds
during
a holiday
and
the holiday
is an
instance
of
Christmas day
,
then
the cognitive agent
observes
the holiday
(=>
(
and
(
holdsDuring
?H
(
attribute
?A
Christian
))
(
instance
?H
EasterSunday
))
(
observesHoliday
?A ?H))
Media.kif 509-514
If
christian
is an
attribute
of
a cognitive agent
holds
during
a holiday
and
the holiday
is an
instance
of
Easter sunday
,
then
the cognitive agent
observes
the holiday
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
If
lateral recumbant
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
left arm
and
the third object
is a
part
of
the object
and
a fourth object
is an
instance
of
right arm
and
the fourth object
is a
part
of
the object
and
a fifth object
is an
instance
of
left leg
and
the fifth object
is a
part
of
the object
and
a sixth object
is an
instance
of
right leg
and
the sixth object
is a
part
of
the object
and
the third object
meet
s
the other object
or
the fifth object
meet
s
the other object
,
then
the fourth object
doesn't
meet
the other object
and
the sixth object
doesn't
meet
the other object
holds
during
the time position
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
If
lateral recumbant
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
left arm
and
the third object
is a
part
of
the object
and
a fourth object
is an
instance
of
right arm
and
the fourth object
is a
part
of
the object
and
a fifth object
is an
instance
of
left leg
and
the fifth object
is a
part
of
the object
and
a sixth object
is an
instance
of
right leg
and
the sixth object
is a
part
of
the object
and
the fourth object
meet
s
the other object
or
the sixth object
meet
s
the other object
,
then
the third object
doesn't
meet
the other object
and
the fifth object
doesn't
meet
the other object
holds
during
the time position
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1799-1807
If
prone
is an
attribute
of
an object
and
the object
is
on
to
another object
holds
during
a time position
and
a third object
is an
instance
of
chest
and
the third object
is a
part
of
the object
,
then
the third object
meet
s
the other object
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Supine
)
(
orientation
?H ?O
On
)))
(
equal
?B
(
BackFn
?H)))
(
meetsSpatially
?B ?O))
Anatomy.kif 1814-1821
If
supine
is an
attribute
of
a self connected object
and
the self connected object
is
on
to
an object
holds
during
a time position
and
another self connected object
is
equal
to the
back
of
the self connected object
,
then
the other self connected object
meet
s
the object
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