inList
(=>
(
instance
?L
Album
)
(
forall
(?X)
(=>
(
inList
?X ?L)
(
instance
?X
Recording
))))
Music.kif 53-58
Lista
è un'
istanza
di
Album
Entit�
Entit�
è un
Lista
Entit�
è un'
istanza
di
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
Processo
è un'
istanza
di
ShuttleService
Lista
Oggetto
and
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
Automobile
Lista
è un'
istanza
di
Lista
Entit�
Entit�
è un
Lista
Entit�
è un'
istanza
di
PostalPlace
Processo
Processo
è un'
istanza
di
Trasporto
Processo
è un
agente
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
Processo
fine
s in
Entit�
(=>
(
instance
?X
AlbumChart
)
(
exists
(?A)
(
and
(
instance
?A
Album
)
(
inList
?A ?X))))
Music.kif 1149-1154
Lista
è un'
istanza
di
AlbumChart
Entit�
Entit�
è un'
istanza
di
Album
Entit�
è un
Lista
(=>
(
instance
?X
MusicChart
)
(
exists
(?P ?OBJ)
(
and
(
instance
?P
Selecting
)
(
result
?P
(
inList
?OBJ ?X)))))
Music.kif 1125-1130
Entit�
è un'
istanza
di
MusicChart
Processo
Entit�
Processo
è un'
istanza
di
Scegliere
Entit�
è un
Entit�
è un
risultato
di
Processo
(=>
(
instance
?X
SinglesChart
)
(
exists
(?MR)
(
and
(
instance
?MR
MusicRecording
)
(
inList
?MR ?X))))
Music.kif 1137-1142
Lista
è un'
istanza
di
SinglesChart
Entit�
Entit�
è un'
istanza
di
MusicRecording
Entit�
è un
Lista
(=>
(
searchResult
?RESULT ?SA)
(
exists
(?RESULTS)
(
and
(
instance
?RESULTS
SRPResults
)
(
inList
?RESULT ?RESULTS))))
UXExperimentalTerms.kif 2331-2336
searchResult
WebListing
and
SearchAttempt
WebListing
S
WebListing
S è un'
istanza
di
SRPResults
WebListing
è un
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