inList
(=>
(
instance
?L
Album
)
(
forall
(?X)
(=>
(
inList
?X ?L)
(
instance
?X
Recording
))))
Music.kif 53-58
Lista
e' uma
instancia
de
Album
Entidade
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
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
Processo
e' uma
instancia
de
ShuttleService
Lista
Objeto
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Automobile
Lista
e' uma
instancia
de
Lista
Entidade
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
PostalPlace
Processo
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
termina
em
Entidade
(=>
(
instance
?X
AlbumChart
)
(
exists
(?A)
(
and
(
instance
?A
Album
)
(
inList
?A ?X))))
Music.kif 1149-1154
Lista
e' uma
instancia
de
AlbumChart
Entidade
Entidade
e' uma
instancia
de
Album
Entidade
e' um
membro
de
Lista
(=>
(
instance
?X
MusicChart
)
(
exists
(?P ?OBJ)
(
and
(
instance
?P
Selecting
)
(
result
?P
(
inList
?OBJ ?X)))))
Music.kif 1125-1130
Entidade
e' uma
instancia
de
MusicChart
Processo
Entidade
Processo
e' uma
instancia
de
Selecionar
Entidade
e' um
membro
de
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?X
SinglesChart
)
(
exists
(?MR)
(
and
(
instance
?MR
MusicRecording
)
(
inList
?MR ?X))))
Music.kif 1137-1142
Lista
e' uma
instancia
de
SinglesChart
Entidade
Entidade
e' uma
instancia
de
MusicRecording
Entidade
e' um
membro
de
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 e' uma
instancia
de
SRPResults
WebListing
e' um
membro
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