experiencer
(=>
(
instance
?BROOD
Brood
)
(
exists
(?TIME)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?BROOD)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?MEMBER)
(
equal
?TIME
(
WhenFn
?BIRTH))))))))
Mid-level-ontology.kif 7501-7511
InsiemeConcreto
è un'
istanza
di
Brood
IntervalloTemporale
AutonomousAgent
AutonomousAgent
è un
membro
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
Nascita
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
(=>
(
instance
?CM
CentrifugalMotion
)
(
exists
(?R ?A ?O1 ?O2)
(
and
(
instance
?R
Rotating
)
(
axis
?A ?O1)
(
origin
?CM ?A)
(
experiencer
?R ?O1)
(
experiencer
?CM ?O2)
(
causes
?R ?CM))))
Mid-level-ontology.kif 17486-17495
Processo
è un'
istanza
di
CentrifugalMotion
Processo
Oggetto
,
AutonomousAgent
and
AutonomousAgent
Processo
è un'
istanza
di
Rotating
axis
Oggetto
and
AutonomousAgent
Processo
si
originas in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
instance
?CM
CentripetalMotion
)
(
exists
(?R ?A ?O1 ?O2)
(
and
(
instance
?R
Rotating
)
(
axis
?A ?O1)
(
destination
?CM ?A)
(
experiencer
?R ?O1)
(
experiencer
?CM ?O2)
(
causes
?R ?CM))))
Mid-level-ontology.kif 17501-17510
Processo
è un'
istanza
di
CentripetalMotion
Processo
Oggetto
,
AutonomousAgent
and
AutonomousAgent
Processo
è un'
istanza
di
Rotating
axis
Oggetto
and
AutonomousAgent
Processo
fine
s in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
instance
?D
Diuretic
)
(
hasPurpose
?D
(
exists
(?R ?L ?H ?LOC)
(
and
(
instance
?H
Human
)
(
instance
?R
Removing
)
(
instance
?L
Liquid
)
(
experiencer
?R ?H)
(
moves
?R ?L)
(
origin
?L ?H)
(
not
(
contains
?H ?LOC))
(
destination
?R ?LOC)))))
Mid-level-ontology.kif 10009-10022
Entit�Concreta
è un'
istanza
di
Diuretic
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
OC
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Spostamento
Entit�
è un'
istanza
di
Liquid
Entit�
esperisce
s
Entit�
moves
Entit�
and
Entit�
Entit�
si
originas in
Entit�
contains
Entit�
and
Entit�
OC
Entit�
fine
s in
Entit�
OC
(=>
(
instance
?E
Eyelid
)
(
hasPurpose
?E
(
exists
(?EYE ?P ?C)
(
and
(
instance
?C
Covering
)
(
instance
?C
BodyMotion
)
(
instance
?P
Human
)
(
experiencer
?C ?P)
(
instrument
?C ?E)
(
patient
?C ?EYE)
(
instance
?EYE
Eye
)
(
part
?EYE ?P)
(
part
?E ?P)))))
Mid-level-ontology.kif 12162-12175
Entit�Concreta
è un'
istanza
di
Eyelid
Entit�Concreta
ha
scopo
Entit�Concreta
YE
Entit�
and
Entit�
Entit�
è un'
istanza
di
Coprire
Entit�
è un'
istanza
di
MovimentoCorporeo
Entit�
è un'
istanza
di
Umano
Entit�
esperisce
s
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
YE è un
paziente
di
Entit�
Entit�Concreta
YE è un'
istanza
di
Eye
Entit�Concreta
YE è una
parte
di
Entit�
Entit�Concreta
è una
parte
di
Entit�
(=>
(
instance
?EP
EpiPen
)
(
hasPurpose
?EP
(
exists
(?I ?H ?A)
(
and
(
instance
?I
Injecting
)
(
instrument
?I ?EP)
(
destination
?I ?H)
(
experiencer
?A ?H)
(
instance
?A
Anaphylaxis
)
(
during
(
WhenFn
?I)
(
WhenFn
?A))))))
Medicine.kif 6378-6390
Entit�Concreta
è un'
istanza
di
EpiPen
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Injecting
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
fine
s in
Entit�
Entit�
esperisce
s
Entit�
Entit�
è un'
istanza
di
Anaphylaxis
il
tempo
di esistenza di
Entit�
has luogo
durante
il
tempo
di esistenza di
Entit�
(=>
(
instance
?H
Hanging
)
(
exists
(?S ?N ?P)
(
and
(
instance
?P
Human
)
(
instance
?S
String
)
(
instance
?N
Neck
)
(
experiencer
?H ?P)
(
properPart
?N ?P)
(
instrument
?H ?S)
(
holdsDuring
(
WhenFn
?H)
(
meetsSpatially
?S ?N)))))
Mid-level-ontology.kif 18476-18487
Processo
è un'
istanza
di
Hanging
Oggetto
Oggetto
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
String
Oggetto
è un'
istanza
di
Neck
AutonomousAgent
esperisce
s
Processo
Oggetto
è una
Parte
propria di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
Oggetto
incontra
s
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
instance
?I
Ivabradine
)
(
hasPurpose
?I
(
exists
(?H ?IN ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
(
PainFn
Chest
))
(
experiencer
?P ?H)
(
instance
?IN
Ingesting
)
(
agent
?IN ?H)
(
earlier
(
WhenFn
?P)
(
WhenFn
?IN))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
(
PainFn
Chest
))
(
experiencer
?P2 ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?P2)))))))))
Medicine.kif 4891-4911
Entit�Concreta
è un'
istanza
di
Ivabradine
Entit�Concreta
ha
scopo
Entit�
Entit�Concreta
N and
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
PainFn
Chest
Entit�
esperisce
s
Entit�
Entit�Concreta
N è un'
istanza
di
Ingestione
Entit�Concreta
N è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
N
Entit�
2
Entit�
2 è un'
istanza
di
PainFn
Chest
Entit�
esperisce
s
Entit�
2 il
tempo
di esistenza di
Entit�Concreta
N accades
prima
di il
tempo
di esistenza di
Entit�
2
(=>
(
instance
?N
AntiInflammatory
)
(
hasPurpose
?N
(
exists
(?I ?H ?IN)
(
and
(
instance
?I
Inflammation
)
(
experiencer
?H ?I)
(
instance
?IN
Ingesting
)
(
before
(
BeginFn
(
WhenFn
?I))
(
BeginFn
(
WhenFn
?IN)))
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
Inflammation
)
(
experiencer
?I2 ?H)))))))))
Mid-level-ontology.kif 12420-12440
Entit�Concreta
è un'
istanza
di
AntiInflammatory
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
N
Entit�
è un'
istanza
di
Inflammation
Entit�
esperisce
s
Entit�
Entit�
N è un'
istanza
di
Ingestione
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
N
Entit�
2
Entit�
2 è un'
istanza
di
Inflammation
Entit�
esperisce
s
Entit�
2 vales
durante
dopo
il
tempo
di esistenza di
Entit�
(=>
(
instance
?O
Organism
)
(
capability
BiologicalProcess
experiencer
?O))
Merge.kif 10176-10178
Oggetto
è un'
istanza
di
Organismo
Oggetto
è
capace
di fare
ProcesoBiologico
nel ruolo
experiencer
(=>
(
instance
?ORGANISM
Organism
)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?ORGANISM))))
Merge.kif 14383-14388
AutonomousAgent
è un'
istanza
di
Organismo
Processo
Processo
è un'
istanza
di
Nascita
AutonomousAgent
esperisce
s
Processo
(=>
(
instance
?P
Pedialyte
)
(
hasPurpose
?P
(
exists
(?C ?D ?V ?DR)
(
and
(
instance
?C
HumanChild
)
(
instance
?D
Diarrhea
)
(
instance
?V
Vomiting
)
(
or
(
and
(
experiencer
?D ?C)
(
earlier
(
WhenFn
?D)
(
WhenFn
?DR)))
(
and
(
experiencer
?V ?C)
(
earlier
(
WhenFn
?V)
(
WhenFn
?DR))))
(
instance
?DR
Drinking
)
(
agent
?DR ?C)
(
objectTransferred
?DR ?P)))))
Medicine.kif 4816-4833
Entit�Concreta
è un'
istanza
di
Pedialyte
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
R
Entit�
è un'
istanza
di
HumanChild
Entit�
è un'
istanza
di
Diarrhea
Entit�
è un'
istanza
di
Vomiting
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
R
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
R
Entit�
R è un'
istanza
di
Bere
Entit�
R è un
agente
di
Entit�
objectTransferred
Entit�
R and
Entit�Concreta
(=>
(
instance
?P
Pill
)
(
hasPurpose
?P
(
exists
(?A ?I)
(
and
(
instance
?A
Animal
)
(
instance
?I
Ingesting
)
(
experiencer
?I ?A)
(
objectTransferred
?I ?P)))))
Mid-level-ontology.kif 9254-9262
Entit�Concreta
è un'
istanza
di
Pill
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Ingestione
Entit�
esperisce
s
Entit�
objectTransferred
Entit�
and
Entit�Concreta
(=>
(
instance
?P
Succulent
)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
experiencer
?D ?P)
(
attribute
?P
Living
)))
Likely
))
Geography.kif 6286-6293
Entit�
è un'
istanza
di
Succulent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Drought
Entit�
esperisce
s
Entit�
attribute
Entit�
and
Living
ha il modello di forza di
Likely
(=>
(
instance
?PR
PhysiologicalResponseToEmotionalState
)
(
exists
(?EP ?A)
(
and
(
instance
?EP
EmotionalState
)
(
experiencer
?EP ?A)
(
experiencer
?PR ?A)
(
causes
?EP ?PR))))
emotion.kif 1371-1378
Processo
è un'
istanza
di
PhysiologicalResponseToEmotionalState
Processo
AutonomousAgent
Processo
è un'
istanza
di
StatoEmotivo
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
instance
?PROCESS
PsychologicalProcess
)
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
experiencer
?PROCESS ?ANIMAL))))
Merge.kif 10399-10404
Processo
è un'
istanza
di
ProcessoPsicologico
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Animale
AutonomousAgent
esperisce
s
Processo
(=>
(
instance
?R
Raping
)
(
exists
(?A)
(
and
(
experiencer
?R ?A)
(
not
(
wants
?A ?R)))))
Mid-level-ontology.kif 24103-24109
Processo
è un'
istanza
di
Raping
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
non
vuole
Processo
(=>
(
instance
?S
Seating
)
(
exists
(?P ?H)
(
and
(
experiencer
?S ?H)
(
instance
?H
Human
)
(
destination
?S ?P)
(
instance
?P
Seat
))))
Mid-level-ontology.kif 23396-23403
Processo
è un'
istanza
di
Seating
Entit�
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Umano
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Seat
(=>
(
instance
?S
Suffocating
)
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
exists
(?P)
(
and
(
experiencer
?S ?P)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?P))))))))
Mid-level-ontology.kif 18458-18470
Entit�Concreta
è un'
istanza
di
Suffocating
Entit�
Entit�
esperisce
s
Entit�Concreta
Entit�
Entit�
è un'
istanza
di
Respirazione
Entit�
esperisce
s
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?S
Suicide
)
(
exists
(?A)
(
and
(
agent
?S ?A)
(
experiencer
?S ?A))))
Mid-level-ontology.kif 18278-18283
Processo
è un'
istanza
di
Suicide
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9586-9597
Entit�
è un'
istanza
di
PlantSpinoseStructure
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Inserting
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
Pain
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?SV
SafetyVest
)
(
hasPurpose
?SV
(
exists
(?PERSON ?SPECTATOR)
(
and
(
instance
?PERSON
Animal
)
(
instance
?SPECTATOR
Human
)
(
increasesLikelihood
(
wears
?PERSON ?SV)
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR))))
(
decreasesLikelihood
(
exists
(?SEE)
(
and
(
instance
?SEE
Seeing
)
(
patient
?SEE ?PERSON)
(
experiencer
?SEE ?SPECTATOR)))
(
exists
(?INJ)
(
and
(
instance
?INJ
Injuring
)
(
agent
?INJ ?SPECTATOR)
(
patient
?INJ ?PERSON))))))))
Cars.kif 3566-3590
Entit�Concreta
è un'
istanza
di
SafetyVest
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Umano
wears
Entit�
and
Entit�Concreta
aumenta
s la verosimiglianza di
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
decreasesLikelihood
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?SVC
WakeUpService
)
(
hasPurpose
?SVC
(
exists
(?WAKE ?CUST ?AGENT ?PROC)
(
and
(
agent
?SVC ?AGENT)
(
experiencer
?SVC ?CUST)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT)
(
experiencer
?PROC ?CUST)
(
instance
?WAKE
WakingUp
)
(
experiencer
?WAKE ?CUST)
(
result
?PROC ?WAKE)))))
Hotel.kif 1994-2006
Entit�Concreta
è un'
istanza
di
WakeUpService
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�Concreta
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�Concreta
Entit�
è un'
istanza
di
ProcessoIntenzionale
Entit�
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�
Entit�
è un'
istanza
di
WakingUp
Entit�
esperisce
s
Entit�
Entit�
è un
risultato
di
Entit�
(=>
(
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
Entit�Concreta
è un'
istanza
di
BirthCertificate
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Nascita
Entit�
è un'
istanza
di
Umano
Entit�
esperisce
s
Entit�
Entit�Concreta
esprime
Entit�
(=>
(
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
Entit�Concreta
è un'
istanza
di
DeathCertificate
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
è un'
istanza
di
Umano
Entit�
esperisce
s
Entit�
Entit�Concreta
esprime
Entit�
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