experiencer
(=>
(
and
(
instance
?V
Vomiting
)
(
instance
?O
Vomit
)
(
patient
?V ?O)
(
experiencer
?V ?A))
(
exists
(?S)
(
and
(
instance
?S
Stomach
)
(
part
?S ?A)
(
holdsDuring
(
BeginFn
(
WhenFn
?V))
(
located
?O ?S))
(
holdsDuring
(
EndFn
(
WhenFn
?V))
(
not
(
located
?O ?A))))))
Mid-level-ontology.kif 21451-21467
Processo
e' uma
instancia
de
Vomiting
Entidade
e' uma
instancia
de
Vomit
Entidade
e' um
patient
de
Processo
AutonomousAgent
experimenta
Processo
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Entidade
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?CONTROL_GROUP)
(
and
(
instance
?CONTROL_GROUP
Collection
)
(
member
?AGENT ?CONTROL_GROUP)
(
controlGroup
?CONTROL_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3851-3862
Processo
e' uma
instancia
de
Processo
Experimenting
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
experimenta
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entidade
_GROUP
Entidade
_GROUP e' uma
instancia
de
Colecao
Processo
e'
membro
de
Entidade
_GROUP
controlGroup
Entidade
_GROUP and
Experimenting
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?TREATMENT_GROUP)
(
and
(
instance
?TREATMENT_GROUP
Collection
)
(
member
?AGENT ?TREATMENT_GROUP)
(
treatmentGroup
?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3968-3979
Processo
e' uma
instancia
de
Processo
Experimenting
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
experimenta
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entidade
_GROUP
Entidade
_GROUP e' uma
instancia
de
Colecao
Processo
e'
membro
de
Entidade
_GROUP
treatmentGroup
Entidade
_GROUP and
Experimenting
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
Humano
e' uma
instancia
de
Humano
Colecao
e' uma
instancia
de
Colecao
Experimenting
Fisico
Processo
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e' uma
instancia
de
Processo
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Processo
Humano
e'
capaz
de fazer
Processo
no role
experiencer
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Processo
Experimenting
Fisico
ESS
Experimenting
e' uma
instancia
de
Experimenting
Fisico
e'
membro
de
QualifyingEventsFn
Experimenting
Fisico
e' uma
instancia
de
Fisico
ESS
Humano
e'
capaz
de fazer
Fisico
ESS no role
experiencer
QualifiedTreatmentsFn
Humano
e'
igual
a
Colecao
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
Processo
e' uma
instancia
de
Weeping
AutonomousAgent
experimenta
Processo
o argumento
Sadness
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?WAKE
WakingUp
)
(
experiencer
?WAKE ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?WAKE))
(
finishes
?FINISH
(
WhenFn
?WAKE))
(
holdsDuring
?START
(
attribute
?AGENT
Asleep
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Awake
)))))
Mid-level-ontology.kif 16394-16403
Processo
e' uma
instancia
de
WakingUp
AutonomousAgent
experimenta
Processo
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
comeca
em
tempo
de existencia de
Processo
Intervalo Temporal
termina
em
tempo
de existencia de
Processo
Dormindo
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
BeginFn
(
WhenFn
?BDE))
(
not
(
instance
?OBJ ?LST))))
VirusProteinAndCellPart.kif 237-245
lifeStageAchieved
Processo Biologico
and
Atributo Desenvolvimental
AutonomousAgent
experimenta
Processo Biologico
AutonomousAgent
e' uma
instancia
de
Atributo Desenvolvimental
vale
durante o
comeco
de
tempo
de existencia de
Processo Biologico
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
lifeStageAchieved
Processo Biologico
and
Atributo Desenvolvimental
AutonomousAgent
experimenta
Processo Biologico
AutonomousAgent
e' uma
instancia
de
Atributo Desenvolvimental
vale
durante imediatemente
apos
tempo
de existencia de
Processo Biologico
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
Numero Real
Unidade de Medida
price
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
Numero Real
Unidade de Medida
price
Processo
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
Virus
Transferencia
e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Transferencia
Vaccine
I e' uma
instancia
de
Vaccine
objectTransferred
Transferencia
and
Vaccine
I
Vaccine
I tem por
fim
Entidade
Virus
I
Entidade
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Entidade
Virus
I e' uma
instancia
de
Virus
objectTransferred
Entidade
and
Virus
I
(=>
(
capability
Breathing
experiencer
?ANIMAL)
(
exists
(?LUNG)
(
and
(
component
?LUNG ?ANIMAL)
(
instance
?LUNG
Lung
))))
Mid-level-ontology.kif 11190-11195
Objeto Corpuscular
e'
capaz
de fazer
Respirar
no role
experiencer
Objeto Corpuscular
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Lung
(=>
(
experiencer
?IP ?A)
(
exists
(?IC)
(
and
(
instance
?IC
IhramClothing
)
(
holdsDuring
(
WhenFn
?IP)
(
wears
?A ?IC)))))
ArabicCulture.kif 170-177
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
IhramClothing
AutonomousAgent
usa
Entidade
vale
durante
tempo
de existencia de
Processo
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