represents
(=>
(
instance
?P
Portrait
)
(
exists
(?F)
(
and
(
instance
?F
Face
)
(
represents
?P ?F))))
Mid-level-ontology.kif 3150-3155
Entidade
e' uma
instancia
de
Portrait
Entidade
Entidade
e' uma
instancia
de
Face
Entidade
define
Entidade
(=>
(
instance
?PLAN
Blueprint
)
(
hasPurpose
?PLAN
(
exists
(?ARTIFACT)
(
and
(
instance
?ARTIFACT
Artifact
)
(
represents
?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 13233-13239
Fisico
e' uma
instancia
de
Blueprint
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Artefato
Fisico
define
Entidade
(=>
(
instance
?PLAN
OPLAN
)
(
exists
(?OP)
(
and
(
represents
?PLAN ?OP)
(
instance
?OP
JointOperation
))))
MilitaryProcesses.kif 1821-1826
Entidade
e' uma
instancia
de
OPLAN
Entidade
Entidade
define
Entidade
Entidade
e' uma
instancia
de
JointOperation
(=>
(
instance
?PLAYER
AudioCDSystem
)
(
hasPurpose
?PLAYER
(
exists
(?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
(
and
(
instrument
?PROC ?PLAYER)
(
patient
?PROC ?DISC)
(
instance
?DISC
CompactDisc
)
(
instance
?AUDIO
AudioRecording
)
(
represents
?DIGITAL ?AUDIO)
(
part
?DIGITAL ?DISC)
(
instance
?RS
RadiatingSound
)
(
subProcess
?RS ?PROC)
(
instrument
?RS ?PLAYER)
(
patient
?RS ?DISC)))))
Media.kif 1209-1223
Fisico
e' uma
instancia
de
AudioCDSystem
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
CompactDisc
Entidade
e' uma
instancia
de
AudioRecording
Entidade
define
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?RA
RepresentationalArtWork
)
(
exists
(?P)
(
and
(
instance
?P
Physical
)
(
represents
?RA ?P))))
Merge.kif 15872-15877
Entidade
e' uma
instancia
de
RepresentationalArtWork
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
define
Entidade
(=>
(
instance
?S
Screenshot
)
(
exists
(?T ?I ?CD)
(
and
(
holdsDuring
?T
(
displayedUpon
?I ?CD))
(
represents
?I ?S))))
ComputerInput.kif 1607-1613
Entidade
e' uma
instancia
de
Screenshot
Posicao Temporal
Entidade
and
Entidade
displayedUpon
Entidade
and
Entidade
vale
durante
Posicao Temporal
Entidade
define
Entidade
(=>
(
instance
?SA
SearchAttempt
)
(
exists
(?QUERY)
(
and
(
instance
?QUERY
SearchQuery
)
(
represents
?QUERY ?SA))))
UXExperimentalTerms.kif 2349-2354
Entidade
e' uma
instancia
de
SearchAttempt
Entidade
Entidade
e' uma
instancia
de
SearchQuery
Entidade
define
Entidade
(=>
(
instance
?SIG_ACTION
UserSignifiedAction
)
(
exists
(?DIR_ACTION)
(
and
(
represents
?DIR_ACTION ?SIG_ACTION)
(
instance
?DIR_ACTION
UserDirectAction
))))
ComputerInput.kif 1217-1222
Entidade
_ACTION e' uma
instancia
de
UserSignifiedAction
Entidade
_ACTION
Entidade
_ACTION
define
Entidade
_ACTION
Entidade
_ACTION e' uma
instancia
de
UserDirectAction
(=>
(
instance
?SVC
RoomService
)
(
exists
(?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(
and
(
customer
?CUSTOMER ?AGENT)
(
agent
?SVC ?AGENT)
(
instance
?RQST
Requesting
)
(
agent
?RQST ?CUSTOMER)
(
patient
?RQST ?ORDER)
(
represents
?ORDER ?FOOD)
(
instance
?FOOD
PreparedFood
)
(
located
?CUSTOMER ?LOC)
(
instance
?LOC
HotelUnit
)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?FOOD)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?RQST))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1969-1987
Processo
e' uma
instancia
de
RoomService
AutonomousAgent
Entidade
,
Agente Cognitivo
,
Processo
,
Entidade
,
Processo
and
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Pedir
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
PreparedFood
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Processo
e' uma
instancia
de
DeliveryService
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
Entidade
e' uma
instancia
de
ProcessState
Programa de Computador
Programa de Computador
e' uma
instancia
de
Programa de Computador
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
Entidade
define
ComputerProcess
(=>
(
instance
?TERM
SearchTerm
)
(
exists
(?QUERY ?PART)
(
and
(
instance
?QUERY
SearchQuery
)
(
part
?PART ?QUERY)
(
represents
?PART ?TERM))))
UXExperimentalTerms.kif 2511-2517
Entidade
e' uma
instancia
de
SearchTerm
Objeto
Objeto
Objeto
e' uma
instancia
de
SearchQuery
Objeto
e' uma &parte de
Objeto
Objeto
define
Entidade
(=>
(
instance
?TEXT
BirthCertificate
)
(
hasPurpose
?TEXT
(
exists
(?B ?A)
(
and
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A)
(
represents
?TEXT ?B)))))
Biography.kif 240-248
Fisico
e' uma
instancia
de
BirthCertificate
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Nascimento
Entidade
e' uma
instancia
de
Humano
Entidade
experimenta
Entidade
Fisico
define
Entidade
(=>
(
instance
?TEXT
DeathCertificate
)
(
hasPurpose
?TEXT
(
exists
(?D ?A)
(
and
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A)
(
represents
?TEXT ?D)))))
Biography.kif 270-278
Fisico
e' uma
instancia
de
DeathCertificate
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
Humano
Entidade
experimenta
Entidade
Fisico
define
Entidade
(=>
(
instance
?TEXT
MarriageCertificate
)
(
exists
(?S ?W ?A ?B)
(
and
(
instance
?S
SigningAnAgreement
)
(
patient
?S ?TEXT)
(
instance
?W
Wedding
)
(
represents
?TEXT ?W)
(
subProcess
?S ?W)
(
patient
?W ?A)
(
instance
?A
Human
)
(
patient
?W ?B)
(
instance
?B
Human
)
(
not
(
equal
?A ?B))
(
agent
?S ?A)
(
agent
?S ?B))))
Biography.kif 319-335
Entidade
e' uma
instancia
de
MarriageCertificate
Processo
Processo
,
AutonomousAgent
and
AutonomousAgent
Processo
e' uma
instancia
de
SigningAnAgreement
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Wedding
Entidade
define
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
(=>
(
instance
?TH
ToyHouse
)
(
exists
(?H)
(
and
(
instance
?H
House
)
(
represents
?TH ?H))))
Mid-level-ontology.kif 2431-2436
Entidade
e' uma
instancia
de
ToyHouse
Entidade
Entidade
e' uma
instancia
de
House
Entidade
define
Entidade
(=>
(
instance
?TPS
TestProtocolSpecification
)
(
exists
(?PLAN ?EXPERIMENT ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
subProcess
?EXPERIMENT ?PROC)
(
containsInformation
?TPS ?PLAN))))
UXExperimentalTerms.kif 2754-2763
ContentBearingPhysical
e' uma
instancia
de
TestProtocolSpecification
Proposicao
Processo
and
Processo
Proposicao
e' uma
instancia
de
Plano
Processo
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
Processo
Proposicao
define
Processo
Processo
e' um
sub
-processo de
Processo
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
instance
?URL
UniformResourceLocator
)
(
exists
(?Address)
(
and
(
instance
?Address
IPAddress
)
(
represents
?URL ?Address))))
QoSontology.kif 1695-1700
Entidade
e' uma
instancia
de
UniformResourceLocator
Entidade
Entidade
e' uma
instancia
de
IPAddress
Entidade
define
Entidade
(=>
(
instance
?VCR
VCRSystem
)
(
hasPurpose
?VCR
(
exists
(?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
(
and
(
instance
?VHS
VHSCassette
)
(
instrument
?PROC ?VCR)
(
patient
?PROC ?VHS)
(
instance
?VIDEO
VideoRecording
)
(
represents
?AVIDEO ?VIDEO)
(
part
?VIDEO ?VHS)
(
instance
?AUDIO
AudioRecording
)
(
represents
?AAUDIO ?AUDIO)
(
part
?AAUDIO ?AVIDEO)
(
part
?AUDIO ?VHS)
(
instance
?RL
RadiatingLight
)
(
patient
?RL ?VIDEO)
(
subProcess
?RL ?PROC)
(
instance
?RS
RadiatingSound
)
(
patient
?RS ?AUDIO)
(
subProcess
?RS ?PROC)))))
Media.kif 1387-1407
Fisico
e' uma
instancia
de
VCRSystem
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
VHSCassette
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
VideoRecording
Entidade
define
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
AudioRecording
Entidade
define
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Entidade
e' um
patient
de
Entidade
Entidade
e' um
sub
-processo de
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
patient
de
Entidade
Entidade
e' um
sub
-processo de
Entidade
(=>
(
instance
?VIEW
View
)
(
exists
(?ENTITY)
(
and
(
instance
?ENTITY
Physical
)
(
represents
?VIEW ?ENTITY))))
Dining.kif 943-948
Entidade
e' uma
instancia
de
View
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
define
Entidade
(=>
(
instance
?X
AudioRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
RadiatingSound
)
(
represents
?X ?EV)
(
capability
RadiatingSound
patient
?X))))
Mid-level-ontology.kif 14306-14312
Objeto
e' uma
instancia
de
AudioRecording
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Objeto
define
Entidade
Objeto
e'
capaz
de fazer
Som Irradiante
no role
patient
(=>
(
instance
?X
DVDSystem
)
(
hasPurpose
?X
(
exists
(?DVD ?PROC)
(
and
(
instance
?DVD
DVD
)
(
instrument
?PROC ?X)
(
patient
?PROC ?DVD)
(
or
(
exists
(?VIDEO ?DVIDEO ?RL)
(
and
(
instance
?VIDEO
VideoRecording
)
(
represents
?DVIDEO ?VIDEO)
(
part
?DVIDEO ?DVD)
(
instance
?RL
RadiatingLight
)
(
subProcess
?RL ?PROC)
(
instrument
?RL ?X)
(
patient
?RL ?VIDEO)))
(
exists
(?AUDIO ?DAUDIO ?RS)
(
and
(
instance
?AUDIO
AudioRecording
)
(
represents
?DAUDIO ?AUDIO)
(
part
?DAUDIO ?DVD)
(
instance
?RS
RadiatingSound
)
(
subProcess
?RS ?PROC)
(
instrument
?RS ?X)
(
patient
?RS ?AUDIO))))))))
Media.kif 1275-1301
Fisico
e' uma
instancia
de
DVDSystem
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
DVD
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
VideoRecording
Entidade
define
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
AudioRecording
Entidade
define
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?X
UniformClothing
)
(
exists
(?PROC ?DESIGN)
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DESIGN)
(
represents
?X ?DESIGN))))
Mid-level-ontology.kif 26695-26701
Entidade
e' uma
instancia
de
UniformClothing
Processo
Entidade
Processo
e' uma
instancia
de
Processo Intencional
Entidade
e' o
resultado
de
Processo
Entidade
define
Entidade
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
Objeto
e' uma
instancia
de
VideoRecording
Entidade
Entidade
e' uma
instancia
de
Processo
Objeto
define
Entidade
Objeto
e'
capaz
de fazer
Luz Irradiante
no role
patient
(=>
(
originalExpressedInLanguage
?PROP ?LANG)
(
exists
(?PHYS ?TIME)
(
and
(
instance
?PHYS
LinguisticExpression
)
(
representsInLanguage
?PHYS ?PROP ?LANG)
(
equal
?TIME
(
WhenFn
?PHYS))
(
not
(
exists
(?BEFORE ?OTHER)
(
and
(
instance
?OTHER
LinguisticExpression
)
(
represents
?OTHER ?PROP)
(
equal
?BEFORE
(
WhenFn
?OTHER))
(
before
?BEFORE ?TIME)))))))
Music.kif 1457-1470
originalExpressedInLanguage
Proposicao
and
Linguagem
Expressao Linguistica
Intervalo Temporal
Expressao Linguistica
e' uma
instancia
de
Expressao Linguistica
Expressao Linguistica
representa
Proposicao
na linguagem
Linguagem
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Expressao Linguistica
Intervalo Temporal
Fisico
Fisico
e' uma
instancia
de
Expressao Linguistica
Fisico
define
Proposicao
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Fisico
Intervalo Temporal
comeca
antes
de
Intervalo Temporal
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
registeredUser
AutonomousAgent
and
WebSite
Database
Objeto
userDatabase
Database
and
WebSite
Objeto
e' uma &parte de
Database
Objeto
define
AutonomousAgent
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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