patient
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Processo
è un'
istanza
di
Dodging
Processo
è un
agente
di
AutonomousAgent
Processo
T is
uguale
a il
tempo
di esistenza di
Processo
Processo
ha
scopo
Entit�
Processo
T
incontra
s il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
Processo
T
Entit�
è un'
istanza
di
Impatto
AutonomousAgent
è un
paziente
di
Entit�
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12737-12750
Processo
è un'
istanza
di
Decodificare
ContentBearingPhysical
è un
paziente
di
Processo
Entit�
ContentBearingPhysical
,
PosizioneTemporale
and
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
Codificare
ContentBearingPhysical
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?DEFENSE
DefensiveManeuver
)
(
agent
?DEFENSE ?AGENT))
(
hasPurposeForAgent
?DEFENSE
(
not
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13453-13462
Processo
è un'
istanza
di
DefensiveManeuver
Processo
è un
agente
di
AutonomousAgent
Processo
ha &n
scopo
Entit�
Entit�
è un'
istanza
di
Danneggiare
AutonomousAgent
è un
paziente
di
Entit�
per
AutonomousAgent
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?DESTR
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 618-630
Processo
è un'
istanza
di
PreciseDestruction
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un
sottoprocesso
di
Processo
Entit�
è un
paziente
di
Entit�
Entit�
is
uguale
a
Entit�
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11995-12004
Processo
è un'
istanza
di
Discovering
Entit�
è un
paziente
di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Processo
Processo
è un'
istanza
di
Apprendere
Processo
è un
sottoprocesso
di
Processo
Entit�
è
localizzato
in
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?DUD
AbsoluteDud
)
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD))
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
MilitaryDevices.kif 1398-1407
Entit�
è un'
istanza
di
AbsoluteDud
Processo
è un'
istanza
di
TakingOff
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Explosion
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
Processo
è un'
istanza
di
Downtick
Entit�Concreta
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
price
Entit�Concreta
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Processo
AutonomousAgent
and
NumeroReale
Processo
è un'
istanza
di
StockMarketTransaction
Entit�Concreta
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
AutonomousAgent
AutonomousAgent
incontra
s
AutonomousAgent
price
Entit�Concreta
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1723-1739
OggettoCorpuscolare
è un'
istanza
di
Exhaust
Fuel
è
fatto
di
OggettoCorpuscolare
Trasferimento
è un'
istanza
di
Trasferimento
OggettoCorpuscolare
NG è un'
istanza
di
Engine
Trasferimento
si
originas in
OggettoCorpuscolare
NG
Entit�Concreta
è un'
istanza
di
CatalyticConverter
Trasferimento
fine
s in
Entit�Concreta
objectTransferred
Trasferimento
and
OggettoCorpuscolare
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Combustione
Entit�Concreta
è uno
strumento
per
Entit�
OggettoCorpuscolare
è un
paziente
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
(=>
(
and
(
instance
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16689-16701
Processo
è un'
istanza
di
Iscrizione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
College
Processo
AutonomousAgent
Processo
è un'
istanza
di
ConseguimentoDiplomiAccademici
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
SecondarySchool
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2148-2160
Oggetto
è un'
istanza
di
EngineCoolingSystem
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Raffreddamento
Oggetto
è uno
strumento
per
Entit�
Oggetto
è un
paziente
di
Entit�
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11653-11661
Processo
è un'
istanza
di
ProcessoEducazionale
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Apprendere
Entit�
è un
paziente
di
Entit�
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
Processo
è un'
istanza
di
Exfiltration
Processo
è un
agente
di
AutonomousAgent
Processo
Entit�
Processo
è un'
istanza
di
Fingere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
crede
s
Processo
0
Processo
0 is
uguale
a
Processo
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
Processo
è un'
istanza
di
ExperiencingALumpInTheThroat
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Percezione
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Throat
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
Processo
è un'
istanza
di
ExperiencingDiscomfortInTheStomach
AutonomousAgent
esperisce
s
Processo
Processo
Processo
AIN and
Oggetto
Processo
è un'
istanza
di
Percezione
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
AIN
Processo
AIN è un'
istanza
di
Pain
AutonomousAgent
esperisce
s
Processo
AIN
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
Processo
è un'
istanza
di
ExperiencingHeatInCheeksOrChest
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Percezione
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Torso
Oggetto
è un'
istanza
di
Face
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?EM
EyeMotion
)
(
agent
?EM ?A))
(
exists
(?E)
(
and
(
instance
?E
Eyelid
)
(
part
?E ?A)
(
patient
?EM ?E))))
Mid-level-ontology.kif 19942-19950
Processo
è un'
istanza
di
EyeMotion
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è un'
istanza
di
Eyelid
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16670-16682
Processo
è un'
istanza
di
Iscrizione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
College
Processo
AutonomousAgent
Processo
è un'
istanza
di
ConseguimentoDiplomiAccademici
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
HighSchool
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ESCAPE
Escaping
)
(
agent
?ESCAPE ?AGENT))
(
exists
(?CONFINE)
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?AGENT)
(
meetsTemporally
(
WhenFn
?CONFINE)
(
WhenFn
?ESCAPE)))))
Mid-level-ontology.kif 17280-17288
Processo
è un'
istanza
di
Escaping
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Imprigionare
AutonomousAgent
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Trasporto
Processo
fine
s in
Oggetto
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
Processo
A è un
paziente
di
Processo
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
Processo
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Processo
Agreement
ha un
attributo
CallOption
Processo
esistes
durante
PosizioneTemporale
underlier
Agreement
and
FinancialInstrument
Processo
Processo
è un'
istanza
di
Acquistare
FinancialInstrument
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
la
misura
FinancialInstrument
è 100
ShareUnit
(s
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
Processo
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Processo
Agreement
ha un
attributo
PutOption
Processo
esistes
durante
PosizioneTemporale
underlier
Agreement
and
FinancialInstrument
Processo
Processo
è un'
istanza
di
Vendere
FinancialInstrument
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
la
misura
FinancialInstrument
è 100
ShareUnit
(s
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
Processo
è un'
istanza
di
Folding
Oggetto
è un
paziente
di
Processo
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
Coprire
Processo
è un
sottoprocesso
di
Processo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
DecafAttribute
)
(
piece
?C ?F)
(
instance
?C
Caffeine
))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
destination
?R ?F)
(
patient
?R ?C))))
Food.kif 425-435
Sostanza
è un'
istanza
di
Cibo
attribute
Sostanza
and
DecafAttribute
Sostanza
è un
membro
di
Sostanza
Sostanza
è un'
istanza
di
Caffeine
Processo
Processo
è un'
istanza
di
Spostamento
Processo
fine
s in
Sostanza
Sostanza
è un
paziente
di
Processo
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
Processo
è un'
istanza
di
FourStrokeExhaust
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�
Processo
Processo
è un'
istanza
di
GasMotion
Entit�
è un'
istanza
di
Exhaust
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
apertura
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
Processo
è un'
istanza
di
FourStrokeIntake
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Processo
V
Processo
Processo
è un'
istanza
di
GasMotion
Processo
V è un'
istanza
di
FuelVapor
Processo
è un
sottoprocesso
di
Processo
Processo
fine
s in
apertura
Processo
V è un
paziente
di
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