result
(=>
(
contestEntry
?ENT ?AGENT ?CONT)
(
exists
(?P ?J)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?ENT)
(
instance
?J
Judging
)
(
patient
?J ?ENT))))
Music.kif 1084-1092
contestEntry
Entidade
,
Agente Cognitivo
and
Contest
Processo
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Judging
Entidade
e' um
patient
de
Processo
(=>
(
contestObject
?CONTEST ?OBJ ?AGENT)
(
and
(
contestParticipant
?CONTEST ?AGENT)
(
exists
(?MAKE ?JUDGE ?PROC ?AFTR)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?AFTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 883-896
contestObject
Contest
,
Objeto
and
AutonomousAgent
contestParticipant
Contest
and
AutonomousAgent
Processo
AutonomousAgent
,
Processo
and
Entidade
Processo
e' uma
instancia
de
Fazer
Objeto
e' o
resultado
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
subjectiveAttribute
Objeto
,
Entidade
and
AutonomousAgent
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
Contest
(=>
(
contractor
?BUILDING ?CONTRACTOR)
(
exists
(?CONTRACT ?AGENT)
(
and
(
property
?CONTRACT
Contract
)
(
partyToAgreement
?AGENT ?CONTRACT)
(
partyToAgreement
?CONTRACTOR ?CONTRACT)
(
confersObligation
(
exists
(?CONSTRUCT ?BUILDING2)
(
and
(
instance
?CONSTRUCT
Constructing
)
(
agent
?CONSTRUCT ?CONTRACTOR)
(
result
?CONSTRUCT ?BUILDING2)
(
instance
?BUILDING2
StationaryArtifact
))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 20823-20836
contractor
Artefato Estacionario
and
Agente Cognitivo
Agreement
Agente Cognitivo
Agreement
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
Artefato Estacionario
Entidade
e' uma
instancia
de
Construcao
Entidade
e' um
agente
de
Agente Cognitivo
Artefato Estacionario
e' o
resultado
de
Entidade
Artefato Estacionario
e' uma
instancia
de
Artefato Estacionario
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 13718-13724
creator
AutonomousAgent
and
Entidade
Processo
Processo
e' uma
instancia
de
Criacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
(=>
(
directed
?DIRECTOR ?MOVIE)
(
exists
(?FILMMAKING ?FILMCREW)
(
and
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))))
Mid-level-ontology.kif 20724-20732
directed
Humano
and
Filme
Processo
AutonomousAgent
Processo
e' uma
instancia
de
FilmMaking
AutonomousAgent
e' uma
instancia
de
Organizacao
leader
AutonomousAgent
and
Humano
Processo
e' um
agente
de
AutonomousAgent
Filme
e' o
resultado
de
Processo
(=>
(
engineers
?AGENT ?OBJECT)
(
exists
(?ENGINEERING)
(
and
(
instance
?ENGINEERING
EngineersProcess
)
(
agent
?ENGINEERING ?AGENT)
(
result
?ENGINEERING ?OBJECT))))
engineering.kif 1209-1215
engineers
AutonomousAgent
and
Artefato
Processo
Processo
e' uma
instancia
de
EngineersProcess
Processo
e' um
agente
de
AutonomousAgent
Artefato
e' o
resultado
de
Processo
(=>
(
equal
?S
(
RemixFn
?M ?A))
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
patient
?P ?M)
(
agent
?P ?A)
(
result
?P ?S)
(
not
(
equal
?S ?M))
(
not
(
copy
?S ?M)))))
Music.kif 889-898
MusicRecording
e'
igual
a
RemixFn
MusicRecording
and
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo Intencional
MusicRecording
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
MusicRecording
e' o
resultado
de
Processo
MusicRecording
e'
igual
a
MusicRecording
MusicRecording
e' uma
copia
exata de
MusicRecording
(=>
(
finalExperimentReport
?CBP ?EXPERIMENT)
(
exists
(?RESULT)
(
and
(
result
?EXPERIMENT ?RESULT)
(
containsInformation
?CBP ?RESULT))))
UXExperimentalTerms.kif 2702-2707
finalExperimentReport
ContentBearingPhysical
and
Experimenting
Proposicao
Proposicao
e' o
resultado
de
Experimenting
ContentBearingPhysical
contem
informacao
Proposicao
(=>
(
fulfillingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
destination
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 689-695
fulfillingEntity
AutonomousAgent
and
Reservation
Processo
Processo
e' uma
instancia
de
Reserving
Processo
termina
em
AutonomousAgent
Reservation
e' o
resultado
de
Processo
(=>
(
hasExpertise
?H
Architecture
)
(
exists
(?D ?P ?B)
(
and
(
instance
?D
ContentDevelopment
)
(
agent
?D ?H)
(
result
?D ?P)
(
instance
?P
Blueprint
)
(
represents
?P ?B)
(
instance
?B
Building
))))
Mid-level-ontology.kif 21183-21192
hasExpertise
Humano
and
Architecture
Processo
Entidade
and
Entidade
Processo
e' uma
instancia
de
Desenvolvimento de Conteudo
Processo
e' um
agente
de
Humano
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Blueprint
Entidade
define
Entidade
Entidade
e' uma
instancia
de
Predio
(=>
(
ingredient
?ING ?S)
(
exists
(?PROC ?X ?Y)
(
and
(
instance
?PROC
Process
)
(
instance
?X ?ING)
(
patient
?PROC ?X)
(
instance
?Y ?S)
(
result
?PROC ?Y))))
Merge.kif 1216-1224
ingredient
Substancia
and
Classe
Processo
Entidade
and
Entidade
Processo
e' uma
instancia
de
Processo
Entidade
e' uma
instancia
de
Substancia
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Classe
Entidade
e' o
resultado
de
Processo
(=>
(
ingredientAmount
?ING ?FOOD ?AMT)
(
exists
(?PROC ?X ?Y)
(
and
(
instance
?X ?ING)
(
measure
?X ?AMT)
(
instance
?Y ?FOOD)
(
instance
?PROC
Process
)
(
patient
?PROC ?X)
(
result
?PROC ?Y))))
Food.kif 1660-1669
ingredientAmount
Objeto auto-conectado
,
Objeto auto-conectado
and
Quantidade Fisica
Processo
Fisico
and
Entidade
Fisico
e' uma
instancia
de
Objeto auto-conectado
a
medida
de
Fisico
e'
Quantidade Fisica
Entidade
e' uma
instancia
de
Objeto auto-conectado
Processo
e' uma
instancia
de
Processo
Fisico
e' um
patient
de
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?A
Americano
)
(
exists
(?P ?W ?E)
(
and
(
instance
?P
Pouring
)
(
patient
?P ?W)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90
CelsiusDegree
))
(
destination
?P ?E)
(
instance
?E
Espresso
)
(
result
?P ?A))))
Food.kif 1310-1320
Entidade
e' uma
instancia
de
Americano
Processo
Fisico
and
Entidade
Processo
e' uma
instancia
de
Pouring
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
DrinkingWater
a
medida
de
Fisico
e' 90
CelsiusDegree
(s)
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Espresso
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?A
Announcement
)
(
exists
(?CD ?I)
(
and
(
instance
?CD
ContentDevelopment
)
(
result
?CD ?A)
(
refers
?A ?I)
(
instance
?I
SocialInteraction
)
(
earlier
(
WhenFn
?CD)
(
WhenFn
?I)))))
Mid-level-ontology.kif 14523-14533
Entidade
e' uma
instancia
de
Announcement
Processo
Fisico
Processo
e' uma
instancia
de
Desenvolvimento de Conteudo
Entidade
e' o
resultado
de
Processo
Entidade
inclui uma
referencia
a
Fisico
Fisico
e' uma
instancia
de
Interacao Social
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Fisico
(=>
(
instance
?AC
AlarmClock
)
(
hasPurpose
?AC
(
exists
(?TIME ?M ?Q)
(
and
(
instance
?M
Measuring
)
(
agent
?M ?AC)
(
result
?M ?Q)
(
equal
?Q ?TIME)
(
holdsDuring
(
WhenFn
?M)
(
exists
(?S)
(
and
(
instance
?S
RadiatingSound
)
(
agent
?S ?AC))))))))
Mid-level-ontology.kif 25530-25544
Fisico
e' uma
instancia
de
AlarmClock
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Medir
Entidade
e' um
agente
de
Fisico
Entidade
e' o
resultado
de
Entidade
Entidade
e'
igual
a
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Fisico
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?ACT
Fax
)
(
exists
(?MSG)
(
and
(
instance
?MSG
FaxMessage
)
(
result
?ACT ?MSG))))
Media.kif 1017-1022
Processo
e' uma
instancia
de
Fax
Entidade
Entidade
e' uma
instancia
de
FaxMessage
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?ACTION
Creation
)
(
exists
(?RESULT)
(
result
?ACTION ?RESULT)))
Merge.kif 12790-12793
Processo
e' uma
instancia
de
Criacao
Entidade
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?AGENT
ChemicalAgent
)
(
not
(
exists
(?ORGANISM ?PROCESS ?SUBSTANCE)
(
and
(
instance
?ORGANISM
Organism
)
(
instance
?PROCESS
BiologicalProcess
)
(
instrument
?PROCESS ?ORGANISM)
(
result
?PROCESS ?SUBSTANCE)
(
copy
?SUBSTANCE ?AGENT)))))
WMD.kif 464-473
Objeto
e' uma
instancia
de
ChemicalAgent
Objeto
Processo
and
Objeto
Objeto
e' uma
instancia
de
Organismo
Processo
e' uma
instancia
de
Processo Biologico
Objeto
e' um
instrumento
para
Processo
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
copia
exata de
Objeto
(=>
(
instance
?ARTIFACT
Artifact
)
(
exists
(?MAKING)
(
and
(
instance
?MAKING
Making
)
(
result
?MAKING ?ARTIFACT))))
Merge.kif 15685-15690
Entidade
e' uma
instancia
de
Artefato
Processo
Processo
e' uma
instancia
de
Fazer
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?ARTIFACT
StationaryArtifact
)
(
exists
(?BUILD)
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))))
Merge.kif 12834-12839
Entidade
e' uma
instancia
de
Artefato Estacionario
Processo
Processo
e' uma
instancia
de
Construcao
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?B
Basket
)
(
exists
(?W)
(
and
(
instance
?W
Wickering
)
(
result
?W ?B))))
Mid-level-ontology.kif 4504-4509
Entidade
e' uma
instancia
de
Basket
Processo
Processo
e' uma
instancia
de
Wickering
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?B
Brandy
)
(
exists
(?D ?W)
(
and
(
instance
?D
Distilling
)
(
instance
?W
Wine
)
(
resource
?D ?W)
(
result
?D ?B))))
Food.kif 3638-3645
Entidade
e' uma
instancia
de
Brandy
Processo
Objeto
Processo
e' uma
instancia
de
Distilling
Objeto
e' uma
instancia
de
Wine
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?B
BreadOrBiscuit
)
(
exists
(?D ?BAKE)
(
and
(
instance
?D
Dough
)
(
instance
?BAKE
Baking
)
(
resource
?BAKE ?D)
(
result
?BAKE ?B))))
Food.kif 1566-1573
Entidade
e' uma
instancia
de
BreadOrBiscuit
Objeto
Entidade
AKE
Objeto
e' uma
instancia
de
Dough
Entidade
AKE e' uma
instancia
de
Baking
Objeto
e' um
recurso
para
Entidade
AKE
Entidade
e' o
resultado
de
Entidade
AKE
(=>
(
instance
?B
Burrow
)
(
exists
(?P ?A)
(
and
(
instance
?P
Process
)
(
agent
?P ?A)
(
instance
?A
Animal
)
(
not
(
instance
?A
Human
))
(
result
?P ?B))))
Geography.kif 6031-6040
Entidade
e' uma
instancia
de
Burrow
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Animal
AutonomousAgent
e' uma
instancia
de
Humano
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?B
Butter
)
(
exists
(?C)
(
and
(
instance
?C
ChurningButter
)
(
result
?C ?B))))
Food.kif 3101-3106
Entidade
e' uma
instancia
de
Butter
Processo
Processo
e' uma
instancia
de
ChurningButter
Entidade
e' o
resultado
de
Processo
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