inList
(=>
(
instance
?L
Album
)
(
forall
(?X)
(=>
(
inList
?X ?L)
(
instance
?X
Recording
))))
Music.kif 53-58
Liste
est une
instance
de
Album
entit�
entit�
est un
membre
de
liste
entit�
est une
instance
de
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
Processus
est une
instance
de
ShuttleService
liste
objet
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
Automobile
liste
est une
instance
de
liste
entit�
entit�
est un
membre
de
liste
entit�
est une
instance
de
PostalPlace
processus
processus
est une
instance
de
transporter
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
aboutit
�
entit�
(=>
(
instance
?X
AlbumChart
)
(
exists
(?A)
(
and
(
instance
?A
Album
)
(
inList
?A ?X))))
Music.kif 1149-1154
Liste
est une
instance
de
AlbumChart
entit�
entit�
est une
instance
de
Album
entit�
est un
membre
de
liste
(=>
(
instance
?X
MusicChart
)
(
exists
(?P ?OBJ)
(
and
(
instance
?P
Selecting
)
(
result
?P
(
inList
?OBJ ?X)))))
Music.kif 1125-1130
Entit�
est une
instance
de
MusicChart
processus
entit�
processus
est une
instance
de
selectionner
entit�
est un
membre
de
entit�
est le
resultat
de
processus
(=>
(
instance
?X
SinglesChart
)
(
exists
(?MR)
(
and
(
instance
?MR
MusicRecording
)
(
inList
?MR ?X))))
Music.kif 1137-1142
Liste
est une
instance
de
SinglesChart
entit�
entit�
est une
instance
de
MusicRecording
entit�
est un
membre
de
liste
(=>
(
searchResult
?RESULT ?SA)
(
exists
(?RESULTS)
(
and
(
instance
?RESULTS
SRPResults
)
(
inList
?RESULT ?RESULTS))))
UXExperimentalTerms.kif 2331-2336
searchResult
WebListing
and
SearchAttempt
WebListing
S
WebListing
S est une
instance
de
SRPResults
WebListing
est un
membre
de
WebListing
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