Possibility
(possibility)
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
If
an entity
is an
instance
of
read only memory data storage
and
a process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the fourth entity
is an
instance
of
content development
or
the fourth entity
is an
instance
of
deleting data
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other entity
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
doesn't have the
modal
force
of
possibility
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Insoluble
))
(
not
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
)))
Geography.kif 7380-7392
If
an object
is an
instance
of
substance
and
insoluble
is an
attribute
of
the object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
substance
and
the other entity
is an
instance
of
solution
and
the object
is a
piece
of
the other entity
and
the entity
is a
piece
of
the other entity
doesn't have the
modal
force
of
possibility
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Soluble
))
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
))
Geography.kif 7352-7363
If
an object
is an
instance
of
substance
and
soluble
is an
attribute
of
the object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
substance
and
the other entity
is an
instance
of
solution
and
the object
is a
piece
of
the other entity
and
the entity
is a
piece
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
If
an object
is an
instance
of
whirlpool tub
and
double size
is an
attribute
of
the object
,
then the statement there exists
an entity
such that there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
human
and
the other entity
is not
equal
to
the third entity
and
the other entity
is
located
at
the object
and
the third entity
is
located
at
the object
holds
during
the entity
has the
modal
force
of
possibility
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
If
a kind of stationary artifact
can
accommodate
at most
an integer
people and
an entity
is an
instance
of
a kind of stationary artifact
and
the entity
is an
element
of
belongings
of
an agent
,
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 a
member
count of
the other entity
and
the third entity
is
less
than or equal to
the integer
and
the other entity
stays
at
the entity
has the
modal
force
of
possibility
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
If
an agent
offers
items for sale in
an abstract
and
the abstract
is an
instance
of
attribute
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
selling
and
the abstract
is an
attribute
of
the entity
and
the entity
is a
patient
of
the other entity
and
the agent
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
physical
,
then the statement there exist
another entity
and
a third entity
such that
the third entity
is an
instance
of
the kind of entity
and
the other entity
is an
instance
of
selling
and
the agent
is an
agent
of
the other entity
and
the third entity
is a
patient
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
If
an agent
offers
items for sale in
a catalog
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
proposition
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
the kind of entity
and
the fourth entity
express
es the content of
the other entity
and
the third entity
is an
instance
of
selling
and
the fourth entity
is a
patient
of
the third entity
and
the agent
is an
agent
of
the third entity
has the
modal
force
of
possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
If
an organism
is a
parent
of
another organism
and
the other organism
is an
instance
of
human child
or
the other organism
is an
instance
of
human baby
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
child-care service
and
the organism
desire
s
the entity
has the
modal
force
of
possibility
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
If
an agreement
the
attribute
contract
and
the agreement
is a
party
to agreement of
a cognitive agent
and
the agreement
is a
party
to agreement of
another cognitive agent
and
a process
is an
instance
of
intentional process
and
the cognitive agent
is an
agent
of
the process
and
the process
express
es the content of
a proposition
and
the agreement
is not a
consistent
of
the proposition
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
legal action
and
the other cognitive agent
is the
plaintiff
in
the entity
and
the cognitive agent
is the
defendant
in
the entity
has the
modal
force
of
possibility
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
If
a kind of physical
is an
amenity
in
a kind of hotel unit
and
a kind of physical
is a
subclass
of
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
a kind of hotel unit
and
the entity
is an
element
of
belongings
of
the third entity
and
the third entity
is an
agent
of
the other entity
and
the other entity
is an
instance
of
the kind of physical
or
the fourth entity
is an
instance
of
the kind of physical
and
the other entity
is a
subprocess
of
the fourth entity
and
the other entity
is
located
at
the entity
has the
modal
force
of
possibility
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
If a person in
an object
can
see
a kind of physical
and
the object
is an
instance
of
room
and
another object
is an
instance
of
a kind of physical
and
the other object
is
outside
to
the object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
the entity
is
located
at
the object
and
the other entity
is an
instance
of
seeing
and
the other object
is a
patient
of
the other entity
and
the entity
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
exists
(?EMIT ?S ?OBJ)
(
and
(
instance
?EMIT
RadiatingLight
)
(
resource
?EMIT ?S)
(
destination
?EMIT ?OBJ)
(
between
?S ?O ?OBJ)
(
holdsDuring
(
WhenFn
?EMIT)
(
attribute
?OBJ
Illuminated
))))
Possibility
))
Mid-level-ontology.kif 15152-15164
If
translucent
is an
attribute
of
an object
,
then the statement there exist
an entity
,
another entity
and
the object
BJ such that
the entity
is an
instance
of
radiating light
and
the other entity
is a
resource
for
the entity
and
the entity
end
s up at
the object
BJ and
the object
is
between
the other entity
and
the object
BJ and
illuminated
is an
attribute
of
the object
BJ holds
during
the
time
of existence of
the entity
has the
modal
force
of
possibility
(=>
(
attribute
?O
Transparent
)
(
modalAttribute
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D)))
Possibility
))
Mid-level-ontology.kif 15124-15133
If
transparent
is an
attribute
of
an object
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
seeing
and
the other entity
is an
agent
of
the entity
and
the entity
end
s up at
the third entity
and
the other entity
is
between
the object
and
the third entity
has the
modal
force
of
possibility
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
If
locked
is an
attribute
of
an object
,
then there exist
another object
,
a process
and
an entity
such that
the other object
is an
instance
of
lock
and
the other object
is
connected
to
the object
and
the process
is an
instance
of
closing
and
the other object
is a
patient
of
the process
and
the entity
is an
instance
of
motion
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
locked
is an
attribute
of
the object
and the statement
the object
is a
patient
of
the entity
doesn't have the
modal
force
of
possibility
holds
during
the
time
of existence of
locked
is an
attribute
of
the object
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
If
an object
is
capable
of doing
a kind of process
as a
a case role
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
a kind of process
and
the case role
the entity
and
the object
has the
modal
force
of
possibility
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
If
a region
has
capacity
for
an integer
according to
a proposition
,
then
if
the region
express
es
the proposition
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
group of people
and
the other entity
is a
member
count of
the entity
and
the other entity
is
less
than or equal to
the integer
and
the entity
is
located
at
the region
has the
modal
force
of
possibility
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
If
a human
may have
a disease or syndrome
,
then there exists
the disease or syndrome
OC such that
the disease or syndrome
OC
believe
s the statement
the disease or syndrome
is an
attribute
of
the human
has the
modal
force
of
possibility
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
If
a time interval
is
equal
to the
time
of existence of
an entity
is
stored
on
another entity
,
then the statement there exists
a third entity
such that
the entity
is a
patient
of
the third entity
has the
modal
force
of
possibility
holds
during
the time interval
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
If
a physical
is
hazardous
to
an object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
damaging
and
the object
is a
patient
of
the entity
and
the physical
is an
involved
in event of
the entity
or
the physical
cause
s
the entity
has the
modal
force
of
possibility
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
If
an entity
is an
instance
of
ICU
and
another entity
stays
at
the entity
holds
during
a time position
,
then the statement there exists
a third entity
such that
the third entity
is an
instance
of
death
and the
time
of existence of
the third entity
finish
es
the time position
has the
modal
force
of
possibility
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
If
a process
is an
instance
of
disappearing
,
then there exist
an entity
,
an agent
,, ,
another process
and
a time position
such that
the other process
is an
instance
of
searching
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other process
and
the agent
is an
agent
of
the other process
and
the entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
and
the entity
is a
patient
of
the other process
and
the time position
is an
instance
of
time interval
and
the time position
is a
part
of the
time
of existence of
the other process
and the statement there exists
the process
ISC such that
the process
ISC is an
instance
of
discovering
and
the agent
is an
agent
of
the process
ISC and
the entity
is a
patient
of
the process
ISC doesn't have the
modal
force
of
possibility
holds
during
the time position
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
If
an entity
is an
instance
of
exhaust
,
then the statement
the entity
is
capable
of doing
seeing
as a
patient
has the
modal
force
of
possibility
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
If
an entity
is an
instance
of
exhaust
,
then the statement
the entity
is not
capable
of doing
seeing
as a
patient
has the
modal
force
of
possibility
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
If
an entity
is an
instance
of
plant spinose structure
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
inserting
and
the entity
is an
instrument
for
the other entity
and
the fourth entity
is an
instance
of
animal
and
the fourth entity
is a
patient
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
pain
and
the fourth entity
experience
s
the third entity
has the
modal
force
of
possibility
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