causes
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
Umano
,
AutonomousAgent
and
AzioneLegale
Umano
desidera
s
AzioneLegale
D
AzioneLegale
D è un'
istanza
di
LegalDecision
AzioneLegale
causa
s
AzioneLegale
D
benefits
AzioneLegale
D and
AutonomousAgent
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
Entit�Concreta
and
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
Danneggiare
Oggetto
è un
paziente
di
Entit�
involvedInEvent
Entit�
and
Entit�Concreta
Entit�Concreta
causa
s
Entit�
ha il modello di forza di
Possibility
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
attribute
Entit�
and
InterpersonalDisgust
vales
durante
PosizioneTemporale
Entit�
Entit�
Entit�
è un'
istanza
di
Percezione
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
Entit�
è un'
istanza
di
Umano
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
causa
s
attribute
Entit�
and
InterpersonalDisgust
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
Antivaxxer
))
(
believes
?H
(
exists
(?V ?D)
(
and
(
instance
?V
Vaccination
)
(
instance
?D
Damaging
)
(
causes
?V ?D)))))
Medicine.kif 3821-3829
attribute
AgenteCognitivo
and
Antivaxxer
vales
durante
PosizioneTemporale
AgenteCognitivo
crede
s
Entit�
Entit�
Entit�
è un'
istanza
di
Vaccination
Entit�
è un'
istanza
di
Danneggiare
Entit�
causa
s
Entit�
(=>
(
holdsDuring
?T1
(
prohibits
?A ?F))
(
exists
(?S ?B ?P)
(
and
(
instance
?S
Stating
)
(
during
(
WhenFn
?S) ?T1)
(
agent
?S ?A)
(
containsFormula
?S
(=>
(
causes
(
agent
?P ?B)
(
truth
?F
True
))
(
punishes
?A ?B))))))
Law.kif 65-78
prohibits
AutonomousAgent
and
Entit�
vales
durante
IntervalloTemporale
Processo
Entit�
and
Entit�
Processo
è un'
istanza
di
Affermare
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
è un
agente
di
AutonomousAgent
containsFormula
Processo
and
Entit�
è un
agente
di
Entit�
causa
s
truth
Entit�
and
True
punishes
AutonomousAgent
and
Entit�
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
Processo
è un'
istanza
di
Awarding
AutonomousAgent
AutonomousAgent
,
Processo
and
Processo
WARD
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
WARD è un'
istanza
di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
WARD è un
paziente
di
Processo
Processo
fine
s in
AutonomousAgent
Processo
causa
s
Processo
(=>
(
instance
?AT
AutomobileTransmission
)
(
hasPurpose
?AT
(
exists
(?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(
and
(
instance
?C
Crankshaft
)
(
instance
?D
Driveshaft
)
(
instance
?A
Automobile
)
(
part
?D ?A)
(
part
?AT ?A)
(
part
?C ?A)
(
connectedEngineeringComponents
?C ?AT)
(
connectedEngineeringComponents
?D ?AT)
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
instance
?R3
Rotating
)
(
instance
?R4
Rotating
)
(
patient
?R1 ?C)
(
patient
?R2 ?C)
(
patient
?R3 ?D)
(
patient
?R4 ?D)
(
causes
?R1 ?R3)
(
causes
?R2 ?R4)
(
not
(
equal
?R1 ?R2))
(
holdsDuring
?R1
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R2
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R3
(
measure
?D
(
RotationFn
?N2
MinuteDuration
)))
(
holdsDuring
?R4
(
measure
?D
(
RotationFn
?N3
MinuteDuration
)))
(
not
(
equal
?N2 ?N3))))))
Cars.kif 2346-2380
Entit�Concreta
è un'
istanza
di
AutomobileTransmission
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Crankshaft
Entit�
è un'
istanza
di
Driveshaft
Entit�
è un'
istanza
di
Automobile
Entit�
è una
parte
di
Entit�
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è
connesso
a
Entit�Concreta
Entit�
è
connesso
a
Entit�Concreta
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
causa
s
Entit�
Entit�
is
uguale
a
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
Entit�
is
uguale
a
Entit�
(=>
(
instance
?ATTACK
BiochemicalAttack
)
(
hasPurpose
?ATTACK
(
exists
(?DAMAGE ?ORGANISM)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?ORGANISM)
(
causes
?ATTACK ?DAMAGE)
(
instance
?ORGANISM
Organism
)))))
WMD.kif 70-78
Entit�Concreta
è un'
istanza
di
BiochemicalAttack
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un
paziente
di
Entit�
Entit�Concreta
causa
s
Entit�
Entit�
è un'
istanza
di
Organismo
(=>
(
instance
?BLEED
Bleeding
)
(
exists
(?INJURY)
(
and
(
instance
?INJURY
Injuring
)
(
causes
?INJURY ?BLEED))))
Mid-level-ontology.kif 21382-21387
Processo
è un'
istanza
di
Bleeding
Processo
Processo
è un'
istanza
di
Trauma
Processo
causa
s
Processo
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
Processo
è un'
istanza
di
FinalValueFee
WebListing
ScambioFinanziario
,
AutonomousAgent
,
Entit�
and
WebSite
WebListing
è un'
istanza
di
WebListing
ScambioFinanziario
è un'
istanza
di
Vendere
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Entit�Concreta
WebListing
è un'
istanza
di
WebListing
Entit�
è un
paziente
di
WebListing
Entit�
è un
paziente
di
ScambioFinanziario
ScambioFinanziario
causa
s
Processo
Processo
è un
agente
di
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possiede
es
WebSite
eCommerceSite
ScambioFinanziario
and
AutonomousAgent
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?ADVERT ?PROC ?OWNER)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?PROC
ListOnSite
)
(
instance
?OWNER
AutonomousAgent
)
(
patient
?PROC ?ADVERT)
(
causes
?PROC ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
agent
?PROC ?OWNER))))
UXExperimentalTerms.kif 220-230
Processo
è un'
istanza
di
InsertionFee
Entit�
Processo
and
AutonomousAgent
Entit�
è un'
istanza
di
WebListing
Processo
è un'
istanza
di
ListOnSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
causa
s
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
ServiceProcess
è un'
istanza
di
CheckInService
AgenteCognitivo
AgenteCognitivo
,
Processo
and
Processo
customer
AgenteCognitivo
and
AgenteCognitivo
serviceProvider
ServiceProcess
and
AgenteCognitivo
Processo
è un'
istanza
di
Greeting
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AgenteCognitivo
Processo
è un
sottoprocesso
di
ServiceProcess
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
ServiceProcess
causa
s
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 17487-17496
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 17502-17511
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
?CPR
CPR
)
(
hasPurpose
?CPR
(
exists
(?O ?HB)
(
and
(
instance
?O
Human
)
(
instance
?HB
HeartBeat
)
(
located
?HB ?O)
(
causes
?CPR ?HB)))))
Medicine.kif 599-607
Entit�Concreta
è un'
istanza
di
CPR
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
HeartBeat
Entit�
è
localizzato
in
Entit�
Entit�Concreta
causa
s
Entit�
(=>
(
instance
?D
Distributor
)
(
hasPurpose
?D
(
exists
(?SP ?S ?O ?R ?E)
(
and
(
instance
?E
Engine
)
(
instance
?SP
SparkPlug
)
(
instance
?S
Spark
)
(
part
?O ?D)
(
part
?D ?E)
(
part
?SP ?E)
(
instance
?R
Rotating
)
(
causes
?R ?S)))))
Cars.kif 2274-2286
Entit�Concreta
è un'
istanza
di
Distributor
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Engine
Entit�
è un'
istanza
di
SparkPlug
Entit�
è un'
istanza
di
Spark
Entit�
è una
parte
di
Entit�Concreta
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Rotating
Entit�
causa
s
Entit�
(=>
(
instance
?D
Driveshaft
)
(
hasPurpose
?D
(
exists
(?R1 ?R2 ?W ?A)
(
and
(
instance
?A
Automobile
)
(
instance
?W
Wheel
)
(
part
?D ?A)
(
part
?W ?A)
(
instance
?R1
Rotating
)
(
patient
?R1 ?D)
(
patient
?R2 ?W)
(
causes
?R1 ?R2)))))
Cars.kif 2325-2337
Entit�Concreta
è un'
istanza
di
Driveshaft
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Automobile
Entit�
è un'
istanza
di
Wheel
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Rotating
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?DEVICE
SwitchDevice
)
(
exists
(?PROC1 ?PROC2 ?ELECTRIC)
(
and
(
instrument
?PROC1 ?DEVICE)
(
causes
?PROC1 ?PROC2)
(
instrument
?PROC2 ?ELECTRIC)
(
instance
?ELECTRIC
ElectricDevice
))))
Mid-level-ontology.kif 1788-1795
Oggetto
è un'
istanza
di
SwitchDevice
Processo
Processo
and
Oggetto
Oggetto
è uno
strumento
per
Processo
Processo
causa
s
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
ElectricDevice
(=>
(
instance
?EC
EngineCranking
)
(
exists
(?EM ?E ?S ?R1 ?C ?R2)
(
and
(
instance
?EM
ElectricalMotor
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?S
Shaft
)
(
instance
?C
Crankshaft
)
(
part
?S ?EM)
(
subProcess
?R1 ?EC)
(
instance
?R1
Rotating
)
(
patient
?R1 ?S)
(
instance
?R2
Rotating
)
(
patient
?R2 ?C)
(
part
?C ?E)
(
causes
?R1 ?R2))))
Cars.kif 2215-2230
Processo
è un'
istanza
di
EngineCranking
Oggetto
Oggetto
,
Oggetto
,
Processo
,
Oggetto
and
Processo
Oggetto
è un'
istanza
di
ElectricalMotor
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
Shaft
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è una
parte
di
Oggetto
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Rotating
Oggetto
è un
paziente
di
Processo
Processo
è un'
istanza
di
Rotating
Oggetto
è un
paziente
di
Processo
Oggetto
è una
parte
di
Oggetto
Processo
causa
s
Processo
(=>
(
instance
?ECM
EngineControlModule
)
(
hasPurpose
?ECM
(
exists
(?A ?E ?P1 ?P2)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
part
?E ?A)
(
part
?ECM ?A)
(
eventLocated
?P1 ?ECM)
(
eventLocated
?P2 ?E)
(
causes
?P1 ?P2)))))
Cars.kif 2519-2532
Entit�Concreta
è un'
istanza
di
EngineControlModule
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Automobile
Entit�
è un'
istanza
di
Engine
Entit�
è un'
istanza
di
Processo
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
Entit�Concreta
è una
parte
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
eventLocated
Entit�
and
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?ED
ExplosiveDevice
)
(
hasPurpose
?ED
(
exists
(?E ?D)
(
and
(
instance
?E
Explosion
)
(
instrument
?E ?ED)
(
causes
?E ?D)
(
instance
?D
Damaging
)))))
Mid-level-ontology.kif 17846-17854
Entit�Concreta
è un'
istanza
di
ExplosiveDevice
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Explosion
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
Danneggiare
(=>
(
instance
?EVU
EmotionalVoiceUtterances
)
(
causes
(
exists
(?E ?A)
(
and
(
instance
?E
EmotionalState
)
(
attribute
?A ?E)))
(
agent
?EVU ?A)))
emotion.kif 99-106
Entit�
è un'
istanza
di
EmotionalVoiceUtterances
Entit�
Entit�
Entit�
è un'
istanza
di
StatoEmotivo
attribute
Entit�
and
Entit�
causa
s
Entit�
è un
agente
di
Entit�
(=>
(
instance
?EXPLOSION
Explosion
)
(
exists
(?PROC)
(
and
(
instance
?PROC
ChemicalProcess
)
(
causes
?PROC ?EXPLOSION))))
Mid-level-ontology.kif 15836-15841
Processo
è un'
istanza
di
Explosion
Processo
Processo
è un'
istanza
di
ProcessoChimico
Processo
causa
s
Processo
(=>
(
instance
?F
Flywheel
)
(
hasPurpose
?F
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
patient
?R1 ?F)
(
causes
?R1 ?R2)))))
Cars.kif 2239-2247
Entit�Concreta
è un'
istanza
di
Flywheel
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�Concreta
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?FLOOD
FlashFlooding
)
(
exists
(?WATER ?HOUR)
(
and
(
instance
?WATER
WaterMotion
)
(
causes
?WATER ?FLOOD)
(
meetsTemporally
(
WhenFn
?WATER)
(
WhenFn
?FLOOD))
(
duration
(
WhenFn
?WATER)
(
MeasureFn
?HOUR
HourDuration
))
(
lessThan
?HOUR 6.0))))
Weather.kif 1630-1642
Processo
è un'
istanza
di
FlashFlooding
Processo
NumeroReale
Processo
è un'
istanza
di
WaterMotion
Processo
causa
s
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
HourDuration
(s
NumeroReale
è
meno
di6.0
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