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
è un'
istanza
di
Vomiting
Entit�
è un'
istanza
di
Vomit
Entit�
è un
paziente
di
Processo
AutonomousAgent
esperisce
s
Processo
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
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
è un'
istanza
di
Processo
Experimenting
è un'
istanza
di
Experimenting
Processo
è un'
istanza
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entit�
_GROUP
Entit�
_GROUP è un'
istanza
di
InsiemeConcreto
Processo
è un
membro
di
Entit�
_GROUP
controlGroup
Entit�
_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
è un'
istanza
di
Processo
Experimenting
è un'
istanza
di
Experimenting
Processo
è un'
istanza
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entit�
_GROUP
Entit�
_GROUP è un'
istanza
di
InsiemeConcreto
Processo
è un
membro
di
Entit�
_GROUP
treatmentGroup
Entit�
_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
Umano
è un'
istanza
di
Umano
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Experimenting
Entit�Concreta
Processo
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Umano
è
capace
di fare
Processo
nel ruolo
experiencer
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Processo
Experimenting
Entit�Concreta
ESS
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Entit�Concreta
ESS
Umano
è
capace
di fare
Entit�Concreta
ESS nel ruolo
experiencer
QualifiedTreatmentsFn
Umano
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
Processo
è un'
istanza
di
Weeping
AutonomousAgent
esperisce
s
Processo
l'affermazione
attribute
AutonomousAgent
and
Sadness
vales
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
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
è un'
istanza
di
WakingUp
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
inizia
s il
tempo
di esistenza di
Processo
IntervalloTemporale
finisce
es il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Addormentato
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Sveglio
vales
durante
IntervalloTemporale
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
BeginFn
(
WhenFn
?BDE))
(
not
(
instance
?OBJ ?LST))))
VirusProteinAndCellPart.kif 237-245
lifeStageAchieved
ProcesoBiologico
and
AttributoEvolutivo
AutonomousAgent
esperisce
s
ProcesoBiologico
AutonomousAgent
è un'
istanza
di
AttributoEvolutivo
vales
durante
l'
inizio
di il
tempo
di esistenza di
ProcesoBiologico
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
lifeStageAchieved
ProcesoBiologico
and
AttributoEvolutivo
AutonomousAgent
esperisce
s
ProcesoBiologico
AutonomousAgent
è un'
istanza
di
AttributoEvolutivo
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
ProcesoBiologico
(=>
(
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
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
Oggetto
è un'
istanza
di
Entit�Concreta
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Oggetto
è un'
istanza
di
Processo
Oggetto
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Oggetto
NumeroReale
Unit�DiMisura
price
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di 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
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AutonomousAgent
possiede
es
Processo
Processo
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Processo
NumeroReale
Unit�DiMisura
price
Processo
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di 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
Trasferimento
è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Trasferimento
Vaccine
I è un'
istanza
di
Vaccine
objectTransferred
Trasferimento
and
Vaccine
I
Vaccine
I ha
scopo
Entit�
Virus
I
Entit�
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Entit�
Virus
I è un'
istanza
di
Virus
objectTransferred
Entit�
and
Virus
I
(=>
(
capability
Breathing
experiencer
?ANIMAL)
(
exists
(?LUNG)
(
and
(
component
?LUNG ?ANIMAL)
(
instance
?LUNG
Lung
))))
Mid-level-ontology.kif 11190-11195
OggettoCorpuscolare
è
capace
di fare
Respirazione
nel ruolo
experiencer
OggettoCorpuscolare
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
Lung
(=>
(
experiencer
?IP ?A)
(
exists
(?IC)
(
and
(
instance
?IC
IhramClothing
)
(
holdsDuring
(
WhenFn
?IP)
(
wears
?A ?IC)))))
ArabicCulture.kif 170-177
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
è un'
istanza
di
IhramClothing
wears
AutonomousAgent
and
Entit�
vales
durante
il
tempo
di esistenza di
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