WhenFn
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
Processo
è un'
istanza
di
LocalAnesthetizing
Processo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
Oggetto
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
PainFn
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
Processo
è un'
istanza
di
Sedating
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Conscious
attribute
Entit�
and
Anxiety
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processo
è un'
istanza
di
Accelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
Processo
è un'
istanza
di
ActivatingADeactivatedAccount
Entit�
è un'
istanza
di
UserAccount
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
AccountDeactivated
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
AccountActive
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
Processo
è un'
istanza
di
CambiamentoDiForma
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
istanza
di
AttributoDiForma
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
Processo
è un'
istanza
di
CambiamentoDiSuperficie
Oggetto
è un
paziente
di
Processo
Oggetto
Entit�
Oggetto
è una
parte
superficiale di
Oggetto
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
Processo
è un'
istanza
di
Ambulating
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
Processo
Processo
Processo
è un'
istanza
di
Stepping
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
Processo
finisce
es
IntervalloTemporale
Processo
is
uguale
a
Processo
(=>
(
and
(
instance
?AP
InternetAccessPoint
)
(
instance
?DEVICE
Device
))
(
holdsDuring
(
WhenFn
(
connectedEngineeringComponents
?DEVICE ?AP))
(
engineeringSubcomponent
?DEVICE
Internet
)))
Hotel.kif 1365-1371
Entit�
è un'
istanza
di
InternetAccessPoint
Entit�
è un'
istanza
di
Dispositivo
Entit�
è un
componente
di
Internet
vales
durante
il
tempo
di esistenza di
Entit�
è
connesso
a
Entit�
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
Processo
è un'
istanza
di
Attaccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16343-16353
Processo
è un'
istanza
di
BecomingDrunk
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Sober
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Drunk
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18679-18695
Trasferimento
è un'
istanza
di
Bequeathing
Trasferimento
è un
agente
di
AutonomousAgent
Trasferimento
fine
s in
Entit�
objectTransferred
Trasferimento
and
AutonomousAgent
ROP
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Trasferimento
AutonomousAgent
possiede
es
AutonomousAgent
ROP vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
confersNorm
AutonomousAgent
,
Entit�
possiede
es
AutonomousAgent
ROP and
Permission
(=>
(
and
(
instance
?B
Birth
)
(
origin
?B ?F))
(
exists
(?Z ?T)
(
and
(
instance
?Z
Zygote
)
(
earlier
?T
(
WhenFn
?B))
(
holdsDuring
?T
(
located
?Z ?F)))))
Mid-level-ontology.kif 24019-24028
Processo
è un'
istanza
di
Nascita
Processo
si
originas in
Oggetto
Entit�
IntervalloTemporale
Entit�
è un'
istanza
di
Zygote
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
vales
durante
IntervalloTemporale
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processo
è un'
istanza
di
Bleeding
AutonomousAgent
esperisce
s
Processo
Oggetto
Processo
Oggetto
è un'
istanza
di
Vein
Oggetto
è un'
istanza
di
Artery
Oggetto
è una
parte
di
AutonomousAgent
Processo
è un'
istanza
di
Danneggiare
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21474-21489
Processo
è un'
istanza
di
Blushing
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
IntervalloTemporale
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
StatoEmotivo
Entit�
è un'
istanza
di
StatoEmotivo
Entit�
is
uguale
a
Entit�
attribute
AutonomousAgent
and
Entit�
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Entit�
vales
durante
IntervalloTemporale
il
tempo
di esistenza di
Processo
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
Processo
finisce
es
IntervalloTemporale
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17386-17397
Processo
è un'
istanza
di
Boarding
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
Processo
è un'
istanza
di
Braking
Entit�
è un
paziente
di
Processo
NumeroReale
MilesPerHour
(s is
uguale
a
AccelerationFn
Entit�
,
Entit�
,
Entit�
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
NumeroReale
MilesPerHour
(s is
uguale
a
AccelerationFn
Entit�
,
Entit�
,
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17427-17439
Processo
è un'
istanza
di
Deboarding
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Cibo
è un'
istanza
di
Oggetto
roastedToTemperature
Cibo
and
NumeroReale
Processo
Processo
è un'
istanza
di
Riscaldamento
Cibo
è un
paziente
di
Processo
la
misura
Cibo
è
NumeroReale
CelsiusDegree
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16363-16373
Processo
è un'
istanza
di
SoberingUp
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Drunk
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Sober
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 778-788
Processo
è un'
istanza
di
Bodybuilding
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Weightlifting
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
Trasferimento
è un'
istanza
di
BreakthroughInfection
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
AX
Oggetto
AX è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Oggetto
AX
vaccine
Oggetto
ACCINECLASS and
Oggetto
C
Oggetto
ACCINE è un'
istanza
di
Oggetto
ACCINECLASS
objectTransferred
Oggetto
AX and
Oggetto
ACCINE il
tempo
di esistenza di
Oggetto
AX accades
prima
di il
tempo
di esistenza di
Trasferimento
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
Processo
è un'
istanza
di
Bleeding
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
è un'
istanza
di
Sangue
Entit�
è una
parte
di
AutonomousAgent
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
Processo
è un'
istanza
di
Bollire
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Liquid
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Gas
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è un'
istanza
di
BodySegment
Oggetto
è
connesso
a
Oggetto
Movimento
è un'
istanza
di
MovimentoCorporeo
moves
Movimento
and
Oggetto
l'affermazione
Movimento
2
Movimento
2 è un'
istanza
di
MovimentoCorporeo
moves
Movimento
2 and
Oggetto
il
tempo
di esistenza di
Movimento
2 has luogo
durante
il
tempo
di esistenza di
Movimento
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
FinancialAccount
è un'
istanza
di
SecuredBond
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
possiede
es
FinancialAccount
Processo
è un'
istanza
di
FinancialDefault
FinancialAccount
è un
paziente
di
Processo
AutonomousAgent
possiede
es
Collateral
vales
durante
immediatamente
dopo
il
tempo
di esistenza 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