inList
(=>
(
instance
?L
Album
)
(
forall
(?X)
(=>
(
inList
?X ?L)
(
instance
?X
Recording
))))
Music.kif 53-58
If
a list
is an
instance
of
album
,
then for all
an entity
if
the entity
is a
member
of
the list
,
then
the entity
is an
instance
of
recording
(=>
(
instance
?SVC
ShuttleService
)
(
exists
(?LIST ?VEHICLE ?AGENT)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
instance
?VEHICLE
Automobile
)
(
instance
?LIST
List
)
(
forall
(?X)
(=>
(
inList
?X ?LIST)
(
and
(
instance
?X
PostalPlace
)
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
agent
?TRANSPORT ?AGENT)
(
instrument
?TRANSPORT ?VEHICLE)
(
destination
?TRANSPORT ?X)))))))))
Hotel.kif 2035-2053
If
a process
is an
instance
of
shuttle
,
then there exist
a list
,
an object
and
an agent
such that
the agent
is an
agent
of
the process
and
the agent
possess
es
the object
and
the object
is an
instance
of
automobile
and
the list
is an
instance
of
list
and for all
an entity
if
the entity
is a
member
of
the list
,
then
the entity
is an
instance
of
postal place
and there exists
another process
such that
the other process
is an
instance
of
transportation
and
the agent
is an
agent
of
the other process
and
the object
is an
instrument
for
the other process
and
the other process
end
s up at
the entity
(=>
(
instance
?X
AlbumChart
)
(
exists
(?A)
(
and
(
instance
?A
Album
)
(
inList
?A ?X))))
Music.kif 1149-1154
If
a list
is an
instance
of
album chart
,
then there exists
an entity
such that
the entity
is an
instance
of
album
and
the entity
is a
member
of
the list
(=>
(
instance
?X
MusicChart
)
(
exists
(?P ?OBJ)
(
and
(
instance
?P
Selecting
)
(
result
?P
(
inList
?OBJ ?X)))))
Music.kif 1125-1130
If
an entity
is an
instance
of
music charts
,
then there exist
a process
and
another entity
such that
the process
is an
instance
of
selecting
and
the other entity
is a
member
of
the entity
is a
result
of
the process
(=>
(
instance
?X
SinglesChart
)
(
exists
(?MR)
(
and
(
instance
?MR
MusicRecording
)
(
inList
?MR ?X))))
Music.kif 1137-1142
If
a list
is an
instance
of
singles chart
,
then there exists
an entity
such that
the entity
is an
instance
of
music recording
and
the entity
is a
member
of
the list
(=>
(
searchResult
?RESULT ?SA)
(
exists
(?RESULTS)
(
and
(
instance
?RESULTS
SRPResults
)
(
inList
?RESULT ?RESULTS))))
UXExperimentalTerms.kif 2331-2336
If
a web listing
results
from
searching
for
a search attempt
,
then there exists
the web listing
S such that
the web listing
S is an
instance
of
search results
and
the web listing
is a
member
of
the web listing
S
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