ImmediateFutureFn
(=>
(
instance
?X
RestoringData
)
(
exists
(?DEL ?PROC ?DATA ?CLASS)
(
and
(
instance
?DEL
DeletingData
)
(
instance
?DATA
DigitalData
)
(
patient
?X ?DATA)
(
patient
?DEL ?DATA)
(
earlier
(
WhenFn
?DEL)
(
WhenFn
?X))
(
instance
?PROC
ComputerProcess
)
(
instance
?PROC ?CLASS)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?X))
(
capability
?CLASS
patient
?DATA)))))
QoSontology.kif 135-151
If
a process
is an
instance
of
restore
,
then there exist
another process
,
an entity
,, ,
another entity
and
a class
such that
the other process
is an
instance
of
deleting data
and
the other entity
is an
instance
of
digital data
and
the other entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and
the entity
is an
instance
of
computer process
and
the entity
is an
instance
of
the class
and
the other entity
is
capable
of doing
the class
as a
patient
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
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
(=>
(
objectTransferred
?P ?OBJ)
(
exists
(?O ?D)
(
and
(
origin
?P ?O)
(
destination
?P ?D)
(
holdsDuring
(
ImmediatePastFn
?P)
(
located
?OBJ ?O))
(
holdsDuring
(
ImmediateFutureFn
?P)
(
located
?OBJ ?D)))))
Merge.kif 11339-11350
If the object transferred in
a transfer
is
an object
,
then there exist
another object
and
an entity
such that
the transfer
originate
s at
the other object
and
the transfer
end
s up at
the entity
and
the object
is
located
at
the other object
holds
during
immediately
before
the transfer
and
the object
is
located
at
the entity
holds
during
immediately
after
the transfer
(=>
(
releaseForConsumption
?OBJ ?AREA ?TIME)
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
exists
(?P ?O)
(
and
(
instance
?O ?OBJ)
(
patient
?P ?O)
(
eventLocated
?P ?AREA)))))
Music.kif 1482-1490
If
a kind of object
was
released
for
consumption
in
a geographic area
at
a time point
,
then there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
a kind of object
and
the other entity
is a
patient
of
the entity
and
the entity
is
located
at
the geographic area
holds
during
immediately
after
the time point
(=>
(
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
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