modalAttribute
(=>
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
Processo
è un'
istanza
di
AngryVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
l'affermazione
causesProposition
AutonomousAgent
NG
AutonomousAgent
NG è un'
istanza
di
Anger
AutonomousAgent
esperisce
s
AutonomousAgent
NG and
Processo
è un'
istanza
di
AngryVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
ha il modello di forza di
Likely
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Processo
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Processo
Processo
si
originas in
AgenteCognitivo
publishedPrice
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validPaymentType
PricingScheme
and
Payment
l'affermazione
Payment
MENT
Payment
MENT è un'
istanza
di
Payment
Payment
MENT è un
sottoprocesso
di
Processo
ha il modello di forza di
Likely
(=>
(
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 10576-10592
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
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30803-30814
Entit�
è un'
istanza
di
Carabiner
attribute
Entit�
and
DeviceClosed
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
ClimbingRope
contains
Entit�
and
Entit�
ha il modello di forza di
Possibility
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Entit�
è un'
istanza
di
COVIDAntibody
attribute
Entit�
and
Covid19
Entit�
è una
parte
di
Entit�
vales
durante
PosizioneTemporale
l'affermazione
attribute
Entit�
and
Covid19
ha il modello di forza di
Unlikely
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?COMMIT
Committing
)
(
patient
?COMMIT ?FORMULA)
(
instance
?FORMULA
Formula
))
(
modalAttribute
?FORMULA
Promise
))
Merge.kif 13248-13253
Processo
è un'
istanza
di
Impegnarsi
Formula
è un
paziente
di
Processo
Formula
è un'
istanza
di
Formula
l'affermazione
Formula
ha il modello di forza di
Promise
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10054-10077
Oggetto
è un'
istanza
di
Antidiuretic
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Urination
IntervalloTemporale
is
uguale
a
IntervalloTemporale
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
accades
prima
di
Movimento
Movimento
accades
prima
di
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10024-10045
Oggetto
è un'
istanza
di
Diuretic
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Urination
Entit�
è un
risultato
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
accades
prima
di
Movimento
Movimento
accades
prima
di
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s la
misura
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2596-2604
Processo
è un'
istanza
di
DustStorm
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
l'affermazione
attribute
Oggetto
and
BadAirQuality
ha il modello di forza di
Likely
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
Oggetto
è un'
istanza
di
Electrocardiogram
attribute
Oggetto
and
EKGAbnormal
Oggetto
include un
riferimento
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Heart
l'affermazione
attribute
Oggetto
and
ImpairedBodyPartFn
Heart
ha il modello di forza di
Likely
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
Oggetto
è un'
istanza
di
Electrocardiogram
attribute
Oggetto
and
EKGNormal
Oggetto
include un
riferimento
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Heart
l'affermazione
attribute
Oggetto
and
ImpairedBodyPartFn
Heart
ha il modello di forza di
Likely
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
Processo
è un'
istanza
di
Processo
Umano
è un'
istanza
di
AutonomousAgent
Experimenting
è un'
istanza
di
Experimenting
treatedUser
Umano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Umano
esperisce
s
Processo
Umano
esperisce
s
Processo
exclusiveEvent
Experimenting
and
Processo
Experimenting
ERIMENTER
Experimenting
ERIMENTER è un'
istanza
di
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
crede
s l'affermazione
Processo
causa
s
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1594-1604
Processo
è un'
istanza
di
Flooding
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Processo
l'affermazione
Oggetto
è un'
istanza
di
SubmergedLandArea
vales
durante
PuntoTemporale
ha il modello di forza di
Unlikely
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25092-25113
TelecomNumber
è un'
istanza
di
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
TelecomNumber
ha
scopo
Entit�
Entit�
è un'
istanza
di
Telephoning
Entit�
fine
s in
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Comunicazione
TelecomNumber
è uno
strumento
per
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
is
uguale
a l'
inizio
di immediatamente
dopo
il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2586-2594
Processo
è un'
istanza
di
AtmosphericHazing
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
l'affermazione
attribute
Oggetto
and
BadAirQuality
ha il modello di forza di
Likely
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Processo
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
ImpairedBodyPartFn
Brain
vales
durante
immediatamente
dopo
Processo
l'affermazione
attribute
Entit�
and
Concussion
vales
durante
immediatamente
dopo
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
pathologicSideEffect
Oggetto
C and
Oggetto
IS
l'affermazione
Entit�
Entit�
è un'
istanza
di
Oggetto
IS
Entit�
esperisce
s
AutonomousAgent
ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
sideEffect
Oggetto
C and
Oggetto
IS
l'affermazione
attribute
AutonomousAgent
and
Oggetto
IS ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9773-9794
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
MoodStabilizer
Processo
è un'
istanza
di
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
attribute
AutonomousAgent
and
Processo
S vales
durante
il
tempo
di esistenza di
Processo
Processo
S è un'
istanza
di
StatoEmotivo
Processo
2 è un'
istanza
di
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
il
tempo
di esistenza di
Processo
2 accades
prima
di il
tempo
di esistenza di
Trasferimento
l'affermazione
attribute
AutonomousAgent
and
Processo
S non vale
durante
Processo
2 ha il modello di forza di
Unlikely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Trasferimento
è un'
istanza
di
Ingestione
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Hallucinogen
Trasferimento
fine
s in
Entit�
l'affermazione
Oggetto
AL
Oggetto
AL è un'
istanza
di
Hallucination
Entit�
esperisce
s
Oggetto
AL ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Trasferimento
è un'
istanza
di
Injecting
Oggetto
è un'
istanza
di
Adalimumab
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Trasferimento
fine
s in
Entit�
l'affermazione
Entit�
attribute
Entit�
and
PainFn
Oggetto
vales
durante
Entit�
Entit�
has luogo
durante
dopo
il
tempo
di esistenza di
Trasferimento
ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
Oggetto
è un'
istanza
di
Intestine
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
EscherichiaColi
contains
Oggetto
and
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
Oggetto
è un'
istanza
di
LeafSpring
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RoadVehicle
l'affermazione
Oggetto
2
Oggetto
2 è un'
istanza
di
LeafSpring
Oggetto
2 è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
2
Oggetto
incontra
s
Oggetto
2 ha il modello di forza di
Likely
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processo
è un'
istanza
di
Lupus
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
SkinRash
AutonomousAgent
esperisce
s
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
OggettoIntegro
è un'
istanza
di
LiquidDrop
OggettoIntegro
è una
superficie
di
OggettoIntegro
l'affermazione
OggettoIntegro
S
Entit�
Entit�
è un'
istanza
di
Sostanza
attribute
Entit�
and
Liquid
OggettoIntegro
is
uguale
a
Entit�
OggettoIntegro
S è una
superficie
di
Entit�
OggettoIntegro
incontra
s
OggettoIntegro
S ha il modello di forza di
Unlikely
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