Possibility
(possibility)
(=>
(
instance
?SVC
ShuttleService
)
(
modalAttribute
(
exists
(?GRP1 ?GRP2)
(
and
(
instance
?GRP1
GroupOfPeople
)
(
instance
?GRP2
GroupOfPeople
)
(
patient
?SVC ?GRP1)
(
patient
?SVC ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))))
Possibility
))
Hotel.kif 2055-2064
If
an entity
is an
instance
of
shuttle
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
group of people
and
the third entity
is an
instance
of
group of people
and
the other entity
is a
patient
of
the entity
and
the third entity
is a
patient
of
the entity
and
the other entity
is not
equal
to
the third entity
has the
modal
force
of
possibility
(=>
(
instance
?VIDEO
VideoRecording
)
(
modalAttribute
(
exists
(?AUDIO)
(
and
(
instance
?AUDIO
AudioRecording
)
(
part
?AUDIO ?VIDEO)))
Possibility
))
Mid-level-ontology.kif 14441-14447
If
an entity
is an
instance
of
video recording
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
audio recording
and
the other entity
is a
part
of
the entity
has the
modal
force
of
possibility
(=>
(
instance
?X
DoubleBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
holdsDuring
?TIME
(
and
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 3847-3860
If
an entity
is an
instance
of
full-sized bed
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is not
equal
to
the third entity
and
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
human
and
asleep
is an
attribute
of
the other entity
and
asleep
is an
attribute
of
the third entity
and
the other entity
is
located
at
the entity
and
the third entity
is
located
at
the entity
holds
during
the fourth entity
has the
modal
force
of
possibility
(=>
(
instance
?X
HotelFunctionRoom
)
(
modalAttribute
(
exists
(?MTG)
(
and
(
instance
?MTG
FormalMeeting
)
(
located
?MTG ?X)))
Possibility
))
Hotel.kif 1706-1712
If
an entity
is an
instance
of
hotel function room
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
formal meeting
and
the other entity
is
located
at
the entity
has the
modal
force
of
possibility
(=>
(
instance
?X
KingBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?P3 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
not
(
equal
?P2 ?P3))
(
not
(
equal
?P1 ?P3))
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
attribute
?P3
Asleep
)
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
instance
?P3
Human
)
(
holdsDuring
?TIME
(
and
(
located
?P1 ?X)
(
located
?P2 ?X)
(
located
?P3 ?X)))))
Possibility
))
Mid-level-ontology.kif 3790-3808
If
an entity
is an
instance
of
king-sized bed
,
then the statement there exist
another entity
,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the other entity
is not
equal
to
the third entity
and
the third entity
is not
equal
to
the fourth entity
and
the other entity
is not
equal
to
the fourth entity
and
asleep
is an
attribute
of
the other entity
and
asleep
is an
attribute
of
the third entity
and
asleep
is an
attribute
of
the fourth entity
and
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
human
and
the fourth entity
is an
instance
of
human
and
the other entity
is
located
at
the entity
and
the third entity
is
located
at
the entity
and
the fourth entity
is
located
at
the entity
holds
during
the fifth entity
has the
modal
force
of
possibility
(=>
(
instance
?X
OperatorAssistedTelephoneCommunication
)
(
exists
(?ORIGIN ?DEST ?OPERATOR)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
instance
?OPERATOR
Human
)
(
hasPurpose
?OPERATOR
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?OPERATOR)
(
subProcess
?PROC ?X)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROC))
(
modalAttribute
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
origin
?COMM ?ORIGIN)
(
destination
?COMM ?DEST)))
Possibility
))))))))
Mid-level-ontology.kif 27047-27069
If
a process
is an
instance
of
operator assisted telephone communication
,
then there exist
an object
,
an entity
and
a physical
such that
the process
originate
s at
the object
and
the process
end
s up at
the entity
and
the physical
is an
instance
of
human
and
the physical
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
intentional process
and
the physical
is an
agent
of
the other entity
and
the other entity
is a
subprocess
of
the process
and the statement there exists
a third entity
such that
the third entity
is an
instance
of
communication
and
the third entity
originate
s at
the object
and
the third entity
end
s up at
the entity
has the
modal
force
of
possibility
holds
during
immediately
after
the
time
of existence of
the other entity
(=>
(
instance
?X
QueenBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
holdsDuring
?TIME
(
and
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 3821-3834
If
an entity
is an
instance
of
queen-sized bed
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is not
equal
to
the third entity
and
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
human
and
asleep
is an
attribute
of
the other entity
and
asleep
is an
attribute
of
the third entity
and
the other entity
is
located
at
the entity
and
the third entity
is
located
at
the entity
holds
during
the fourth entity
has the
modal
force
of
possibility
(=>
(
instance
?X
Recliner
)
(
modalAttribute
(
exists
(?INCLINE)
(
and
(
instance
?INCLINE
Inclining
)
(
patient
?INCLINE ?X)))
Possibility
))
Mid-level-ontology.kif 26197-26203
If
an entity
is an
instance
of
recliner
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
inclining
and
the entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
(=>
(
instance
?X
RewritableDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
modalAttribute
(
exists
(?WRITE2 ?DATA2)
(
and
(
stored
?DATA2 ?X)
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
not
(
equal
?WRITE1 ?WRITE2))
(
patient
?WRITE2 ?DATA2)))
Possibility
)))
Media.kif 741-763
If
an entity
is an
instance
of
rewritable data storage
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
writing
and
the entity
is a
patient
of
the other entity
and
the third entity
is a
patient
of
the other entity
and
the third entity
is
stored
on
the entity
holds
during
immediately
after
the
time
of existence of
the other entity
has the
modal
force
of
possibility
and the statement there exist
a fourth entity
and
a fifth entity
such that
the fifth entity
is
stored
on
the entity
and
the fourth entity
is an
instance
of
content development
or
the fourth entity
is an
instance
of
deleting data
and
the other entity
is not
equal
to
the fourth entity
and
the fifth entity
is a
patient
of
the fourth entity
has the
modal
force
of
possibility
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3675-3704
If
a physical
is an
instance
of
seat belt
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
vehicle
and
the physical
is a
part
of
the third entity
and
the entity
is an
instance
of
human
and
the third entity
contain
s
the entity
and
the other entity
is an
instance
of
process
and
the other entity
prevent
s the occurrence of the
class
described by
the fourth entity
(=>
(
instance
?X
WriteOnceDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
not
(
modalAttribute
(
exists
(?WRITE2 ?DATA2)
(
and
(
stored
?DATA2 ?X)
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
not
(
equal
?WRITE1 ?WRITE2))
(
patient
?WRITE2 ?DATA2)))
Possibility
))))
Media.kif 713-736
If
an entity
is an
instance
of
write once data storage
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
writing
and
the entity
is a
patient
of
the other entity
and
the third entity
is a
patient
of
the other entity
and
the third entity
is
stored
on
the entity
holds
during
immediately
after
the
time
of existence of
the other entity
has the
modal
force
of
possibility
and the statement there exist
a fourth entity
and
a fifth entity
such that
the fifth entity
is
stored
on
the entity
and
the fourth entity
is an
instance
of
content development
or
the fourth entity
is an
instance
of
deleting data
and
the other entity
is not
equal
to
the fourth entity
and
the fifth entity
is a
patient
of
the fourth entity
doesn't have the
modal
force
of
possibility
(=>
(
instance
?Y
SulphurDioxide
)
(
modalAttribute
(
exists
(?D ?P)
(
and
(
instance
?D
Damaging
)
(
instance
?P
Human
)
(
instrument
?D ?Y)
(
patient
?D ?P)))
Possibility
))
Geography.kif 7189-7197
If
an entity
is an
instance
of
sulphur dioxide
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
damaging
and
the third entity
is an
instance
of
human
and
the entity
is an
instrument
for
the other entity
and
the third entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
(=>
(
loggedInDuring
?A ?UA ?T)
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P ?C)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?A)
(
deviceAccount
?UA ?C)
(
instance
?C
Computer
)
(
computerRunning
?P ?C)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 4347-4358
If
an agent
is logged-in to
an user account
during
a time interval
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
computer process
and
the agent
is an
agent
of
the entity
and
device account
the user account
and
the other entity
and
the other entity
is an
instance
of
computer
and
the entity
is
running
on
the other entity
and
the other entity
is an
instrument
for
the entity
holds
during
the time interval
has the
modal
force
of
possibility
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17420-17422
If the statement
a formula
has the
modal
force
of
necessity
,
then the statement
the formula
has the
modal
force
of
possibility
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17318-17320
If the statement
a formula
has the
modal
force
of
permission
,
then the statement
the formula
has the
modal
force
of
possibility
(=>
(
parasitic
?O1 ?O2)
(
exists
(?I1 ?I2)
(
modalAttribute
(
and
(
instance
?I1 ?O1)
(
instance
?I2 ?O2)
(
parasite
?I1 ?I2))
Possibility
)))
WMD.kif 2007-2015
If
parasitic
a kind of organism
and
another kind of organism
,
then there exist
an entity
and
another entity
such that the statement
the entity
is an
instance
of
a kind of organism
and
the other entity
is an
instance
of
another kind of organism
and
the other entity
is a
parasite
of
the entity
has the
modal
force
of
possibility
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
If
a human
may have
a kind of pathologic process
,
then there exist
a kind of pathologic process
OC and
the kind of pathologic process
I such that
the kind of pathologic process
I is an
instance
of
the kind of pathologic process
and
the kind of pathologic process
OC
believe
s the statement
the human
experience
s
the kind of pathologic process
has the
modal
force
of
possibility
(=>
(
patient
?RAIN
AcidRainfall
)
(
modalAttribute
(
exists
(?D ?O ?X ?L)
(
and
(
instance
?D
Damaging
)
(
causes
?RAIN ?D)
(
instrument
?D ?RAIN)
(
instance
?O
Organism
)
(
instance
?X
StationaryArtifact
)
(
instance
?L
Outdoors
)
(
located
?X ?L)
(
located
?O ?L)
(
or
(
patient
?D ?O)
(
patient
?D ?X))))
Possibility
))
Geography.kif 2519-2534
If
acid rainfall
is a
patient
of
a process
,
then the statement there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
damaging
and
the process
cause
s
the entity
and
the process
is an
instrument
for
the entity
and
the other entity
is an
instance
of
organism
and
the third entity
is an
instance
of
stationary artifact
and
the fourth entity
is an
instance
of
outdoors
and
the third entity
is
located
at
the fourth entity
and
the other entity
is
located
at
the fourth entity
and
the other entity
is a
patient
of
the entity
or
the third entity
is a
patient
of
the entity
has the
modal
force
of
possibility
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
If
a cognitive agent
is a
potential
customer
for
an agent
,
then the statement
the agent
is a
customer
of
the cognitive agent
has the
modal
force
of
possibility
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
If
a transportation company
provides
transportation
to
a region
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
transportation service
and
the transportation company
provides a service during
the entity
and
the entity
end
s up at
the region
has the
modal
force
of
possibility
(=>
(
releaseForSale
?OBJ ?AREA ?TIME)
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
(
exists
(?O ?B)
(
and
(
instance
?O ?OBJ)
(
instance
?B
Buying
)
(
eventLocated
?B ?AREA)
(
patient
?B ?O)))
Possibility
)))
Music.kif 1499-1509
If
a kind of object
was
released
for
sale
in
a geographic area
at
a time point
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
a kind of object
and
the other entity
is an
instance
of
buying
and
the other entity
is
located
at
the geographic area
and
the entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
holds
during
immediately
after
the time point
(=>
(
roomAmenity
?ROOM
MotionPicture
)
(
exists
(?R ?MS ?MP)
(
and
(
instance
?R ?ROOM)
(
instance
?MS
MediaSystem
)
(
located
?MS ?R)
(
instance
?MP
MotionPicture
)
(
modalAttribute
(
exists
(?RL)
(
and
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?MS)
(
patient
?RL ?MP)))
Possibility
))))
Hotel.kif 1506-1519
If
motion picture
is an
amenity
in
a kind of hotel unit
,
then there exist
an object
,
a physical
and
an entity
such that
the object
is an
instance
of
a kind of hotel unit
and
the physical
is an
instance
of
media system
and
the physical
is
located
at
the object
and
the entity
is an
instance
of
motion picture
and the statement there exists
the object
L such that
the object
L is an
instance
of
radiating light
and
the physical
is an
instrument
for
the object
L and
the entity
is a
patient
of
the object
L has the
modal
force
of
possibility
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
If
a cognitive agent
trusts
an agent
,
then
the cognitive agent
believe
s the statement there exists
an entity
such that
the entity
is an
instance
of
a kind of intentional process
and
the agent
is an
agent
of
the entity
has the
modal
force
of
possibility
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