causes
(=>
(
instance
?FWD
FourWheelDriveVehicle
)
(
hasPurpose
?FWD
(
forall
(?W)
(
and
(
part
?W ?FWD)
(
exists
(?E ?C ?R1 ?R2)
(
and
(
instance
?E
Engine
)
(
part
?E ?FWD)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
instance
?R1
Rotating
)
(
patient
?R1 ?C)
(
instance
?R2
Rotating
)
(
patient
?R2 ?W)
(
causes
?R1 ?R2)))))))
Cars.kif 4596-4612
Entit�Concreta
è un'
istanza
di
FourWheelDriveVehicle
Entit�Concreta
ha
scopo
Entit�
Entit�
è una
parte
di
Entit�Concreta
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Engine
Entit�
è una
parte
di
Entit�Concreta
Entit�
è un'
istanza
di
Crankshaft
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?G
AutomaticGun
)
(
hasPurpose
?G
(
exists
(?S1 ?S2 ?P ?T)
(
and
(
instance
?P
Pulling
)
(
instance
?T
GunTrigger
)
(
patient
?P ?T)
(
part
?T ?G)
(
instance
?S1
Shooting
)
(
instance
?S2
Shooting
)
(
instrument
?S1 ?G)
(
instrument
?S2 ?G)
(
not
(
equal
?S1 ?S2))
(
causes
?P ?S1)
(
causes
?P ?S2)))))
Mid-level-ontology.kif 1569-1584
Entit�Concreta
è un'
istanza
di
AutomaticGun
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Pulling
Entit�
è un'
istanza
di
GunTrigger
Entit�
è un
paziente
di
Entit�
Entit�
è una
parte
di
Entit�Concreta
Entit�
è un'
istanza
di
Sparare
Entit�
è un'
istanza
di
Sparare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
is
uguale
a
Entit�
Entit�
causa
s
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?GP
GasPedal
)
(
hasPurpose
?GP
(
exists
(?P ?T ?F ?E ?A)
(
and
(
instance
?P
Pushing
)
(
instance
?T
Transfer
)
(
instance
?F
Fuel
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?GP ?A)
(
part
?E ?A)
(
destination
?P ?GP)
(
destination
?T ?E)
(
patient
?T ?F)
(
causes
?P ?T)))))
Cars.kif 2546-2561
Entit�Concreta
è un'
istanza
di
GasPedal
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Pushing
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Fuel
Entit�
è un'
istanza
di
Engine
Entit�
è un'
istanza
di
Automobile
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
fine
s in
Entit�Concreta
Entit�
fine
s in
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?H
Heart
)
(
hasPurpose
?H
(
exists
(?T ?HB ?B)
(
and
(
instance
?HB
HeartBeat
)
(
instance
?T
LiquidMotion
)
(
instance
?B
Blood
)
(
moves
?T ?B)
(
causes
?HB ?T)))))
Mid-level-ontology.kif 10741-10750
Entit�Concreta
è un'
istanza
di
Heart
Entit�Concreta
ha
scopo
Entit�
Entit�Concreta
B and
Entit�
Entit�Concreta
B è un'
istanza
di
HeartBeat
Entit�
è un'
istanza
di
LiquidMotion
Entit�
è un'
istanza
di
Sangue
moves
Entit�
and
Entit�
Entit�Concreta
B
causa
s
Entit�
(=>
(
instance
?HABOOB
Haboob
)
(
exists
(?TS ?DM ?A)
(
and
(
instance
?TS
Thunderstorm
)
(
instance
?DM
MotionDownward
)
(
instance
?A
Air
)
(
patient
?DM ?A)
(
subProcess
?DM ?TS)
(
causes
?DM ?HABOOB))))
Weather.kif 1314-1323
Processo
è un'
istanza
di
Haboob
Processo
Processo
and
Entit�
Processo
è un'
istanza
di
Thunderstorm
Processo
è un'
istanza
di
MotionDownward
Entit�
è un'
istanza
di
Air
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
causa
s
Processo
(=>
(
instance
?I
IntermittentCombustionEngine
)
(
hasPurpose
?I
(
exists
(?E ?M)
(
and
(
instance
?E
Explosion
)
(
instance
?M
Motion
)
(
eventLocated
?E ?I)
(
eventLocated
?M ?I)
(
causes
?E ?M)))))
Cars.kif 280-289
Entit�Concreta
è un'
istanza
di
IntermittentCombustionEngine
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Explosion
Entit�
è un'
istanza
di
Movimento
eventLocated
Entit�
and
Entit�Concreta
eventLocated
Entit�
and
Entit�Concreta
Entit�
causa
s
Entit�
(=>
(
instance
?IC
IgnitionCoil
)
(
hasPurpose
?IC
(
exists
(?P ?S)
(
and
(
instance
?P
ElectricTransmission
)
(
instrument
?P ?IC)
(
instance
?S
Spark
)
(
causes
?P ?S)))))
Cars.kif 3175-3183
Entit�Concreta
è un'
istanza
di
IgnitionCoil
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
ElectricTransmission
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Spark
Entit�
causa
s
Entit�
(=>
(
instance
?ICM
IgnitionControlModule
)
(
hasPurpose
?ICM
(
exists
(?S ?A ?CP)
(
and
(
instance
?A
Automobile
)
(
instance
?S
Spark
)
(
instance
?CP
ComputerProcess
)
(
part
?ICM ?A)
(
eventLocated
?CP ?A)
(
eventLocated
?S ?A)
(
causes
?CP ?S)))))
Cars.kif 3190-3201
Entit�Concreta
è un'
istanza
di
IgnitionControlModule
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Automobile
Entit�
è un'
istanza
di
Spark
Entit�
è un'
istanza
di
ComputerProcess
Entit�Concreta
è una
parte
di
Entit�
eventLocated
Entit�
and
Entit�
eventLocated
Entit�
and
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?MHCV
ManifoldHeatControlValve
)
(
hasPurpose
?MHCV
(
exists
(?H ?O ?E ?FV ?T)
(
and
(
instance
?H
Heating
)
(
instance
?O
Opening
)
(
instance
?E
Exhaust
)
(
instance
?T
Transfer
)
(
instance
?FV
FuelVapor
)
(
patient
?O ?MHCV)
(
instrument
?H ?E)
(
patient
?H ?FV)
(
path
?T ?MHCV)
(
causes
?O ?T)
(
causes
?T ?H)))))
Cars.kif 3270-3285
Entit�Concreta
è un'
istanza
di
ManifoldHeatControlValve
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Riscaldamento
Entit�
è un'
istanza
di
Opening
Entit�
è un'
istanza
di
Exhaust
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
FuelVapor
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
causa
s
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?ORDER
OperationOrder
)
(
exists
(?PLAN ?PLANNING)
(
and
(
instance
?PLAN
OPLAN
)
(
instance
?PLANNING
OperationPlanning
)
(
result
?PLANNING ?PLAN)
(
causes
?PLANNING ?ORDER)
(
refers
?PLAN ?ORDER))))
MilitaryProcesses.kif 1686-1694
Processo
è un'
istanza
di
OperationOrder
Entit�
Entit�
NING
Entit�
è un'
istanza
di
OPLAN
Entit�
NING è un'
istanza
di
OperationPlanning
Entit�
è un
risultato
di
Entit�
NING
Entit�
NING
causa
s
Processo
Entit�
include un
riferimento
a
Processo
(=>
(
instance
?P
Pulley
)
(
hasPurpose
?P
(
exists
(?P2 ?D ?R1 ?R2)
(
and
(
instance
?P2
Pulley
)
(
not
(
equal
?P ?P2))
(
instance
?D
Drivebelt
)
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
connectedEngineeringComponents
?P ?D)
(
connectedEngineeringComponents
?P2 ?D)
(
patient
?R1 ?P)
(
patient
?R2 ?P2)
(
causes
?R1 ?R2)))))
Cars.kif 2299-2314
Entit�Concreta
è un'
istanza
di
Pulley
Entit�Concreta
ha
scopo
Entit�Concreta
2
Entit�
,
Entit�
and
Entit�
Entit�Concreta
2 è un'
istanza
di
Pulley
Entit�Concreta
is
uguale
a
Entit�Concreta
2
Entit�
è un'
istanza
di
Drivebelt
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�Concreta
è
connesso
a
Entit�
Entit�Concreta
2 è
connesso
a
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
2 è un
paziente
di
Entit�
Entit�
causa
s
Entit�
(=>
(
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
?PROC1
Process
)
(
exists
(?PROC2)
(
causes
?PROC2 ?PROC1)))
Merge.kif 3791-3794
Processo
è un'
istanza
di
Processo
Processo
Processo
causa
s
Processo
(=>
(
instance
?RA
RockerArm
)
(
hasPurpose
?RA
(
exists
(?P1 ?C ?P2 ?V ?O ?FSE)
(
and
(
instance
?P1
Pushing
)
(
instance
?C
Cam
)
(
instance
?P2
Pushing
)
(
instance
?V
Valve
)
(
instance
?O
Opening
)
(
instance
?FSE
FourStrokeEngine
)
(
part
?RA ?FSE)
(
part
?C ?FSE)
(
part
?V ?FSE)
(
instrument
?P1 ?C)
(
destination
?P1 ?RA)
(
instrument
?P2 ?RA)
(
destination
?P2 ?V)
(
causes
?P1 ?P2)
(
causes
?P2 ?O)
(
patient
?O ?V)))))
Cars.kif 3852-3872
Entit�Concreta
è un'
istanza
di
RockerArm
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Pushing
Entit�
è un'
istanza
di
Cam
Entit�
è un'
istanza
di
Pushing
Entit�
è un'
istanza
di
Valve
Entit�
è un'
istanza
di
Opening
Entit�
è un'
istanza
di
FourStrokeEngine
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
fine
s in
Entit�Concreta
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
fine
s in
Entit�
Entit�
causa
s
Entit�
Entit�
causa
s
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?REMIND
Reminding
)
(
exists
(?REMEMBER)
(
and
(
instance
?REMEMBER
Remembering
)
(
causes
?REMIND ?REMEMBER))))
Mid-level-ontology.kif 848-853
Processo
è un'
istanza
di
Reminding
Processo
Processo
è un'
istanza
di
Ricordare
Processo
causa
s
Processo
(=>
(
instance
?REQUEST
ViewItemRequest
)
(
exists
(?CLICK ?ACCESSING ?PAGE)
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
instance
?PAGE
ViewItemPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
causes
?CLICK ?ACCESSING)
(
destination
?ACCESSING ?PAGE)
(
subProcess
?CLICK ?REQUEST))))
UXExperimentalTerms.kif 1559-1568
Processo
è un'
istanza
di
ViewItemRequest
Processo
Processo
and
Entit�
Processo
è un'
istanza
di
RequestingHyperlink
Entit�
è un'
istanza
di
ViewItemPage
Processo
è un'
istanza
di
AccessingWebPage
Processo
causa
s
Processo
Processo
fine
s in
Entit�
Processo
è un
sottoprocesso
di
Processo
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
Processo
è un'
istanza
di
ShrapnelExplosion
Oggetto
Trasferimento
Oggetto
è un'
istanza
di
Metallo
Trasferimento
è un'
istanza
di
Translocation
Processo
causa
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
(=>
(
instance
?SE
ShrapnelExplosion
)
(
hasPurpose
?SE
(
exists
(?P)
(
and
(
or
(
instance
?P
Injuring
)
(
instance
?P
Killing
))
(
causes
?SE ?P)))))
Medicine.kif 6290-6298
Entit�Concreta
è un'
istanza
di
ShrapnelExplosion
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è un'
istanza
di
Uccidere
Entit�Concreta
causa
s
Entit�
(=>
(
instance
?SM
StarterMotor
)
(
hasPurpose
?SM
(
exists
(?P1 ?P2 ?ICE)
(
and
(
instance
?ICE
InternalCombustionEngine
)
(
instrument
?P1 ?SM)
(
instrument
?P2 ?ICE)
(
causes
?P1 ?P2)))))
Cars.kif 3961-3969
Entit�Concreta
è un'
istanza
di
StarterMotor
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
InternalCombustionEngine
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?SP
SparkPlug
)
(
hasPurpose
?SP
(
exists
(?S ?C)
(
and
(
instance
?S
Spark
)
(
instrument
?S ?SP)
(
instance
?C
Combustion
)
(
causes
?S ?C)))))
Cars.kif 447-455
Entit�Concreta
è un'
istanza
di
SparkPlug
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Spark
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Combustione
Entit�
causa
s
Entit�
(=>
(
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
?T
GunTrigger
)
(
hasPurpose
?T
(
exists
(?S ?G ?P)
(
and
(
instance
?G
AutomaticGun
)
(
part
?T ?G)
(
patient
?P ?T)
(
instance
?P
Pulling
)
(
instance
?S
Shooting
)
(
instrument
?S ?G)
(
causes
?P ?S)))))
Mid-level-ontology.kif 1586-1597
Entit�Concreta
è un'
istanza
di
GunTrigger
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
AutomaticGun
Entit�Concreta
è una
parte
di
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Pulling
Entit�
è un'
istanza
di
Sparare
Entit�
è uno
strumento
per
Entit�
Entit�
causa
s
Entit�
(=>
(
instance
?T
Thunder
)
(
exists
(?L)
(
and
(
instance
?L
Lightning
)
(
causes
?L ?T))))
Mid-level-ontology.kif 3055-3060
Processo
è un'
istanza
di
Thunder
Processo
Processo
è un'
istanza
di
Lightning
Processo
causa
s
Processo
(=>
(
instance
?TD
TornadoDamage
)
(
exists
(?T ?D)
(
and
(
instance
?T
Tornado
)
(
instance
?D
Damaging
)
(
causes
?T ?D)
(
patient
?D ?TD))))
Weather.kif 2066-2073
Entit�
è un'
istanza
di
TornadoDamage
Processo
Processo
Processo
è un'
istanza
di
Tornado
Processo
è un'
istanza
di
Danneggiare
Processo
causa
s
Processo
Entit�
è un
paziente
di
Processo
(=>
(
instance
?TWD
TwoWheelDriveVehicle
)
(
hasPurpose
?TWD
(
exists
(?W1 ?W2)
(
and
(
part
?W1 ?TWD)
(
part
?W2 ?TWD)
(
not
(
equal
?W1 ?W2))
(
exists
(?E ?C ?R1 ?R2 ?R3)
(
and
(
instance
?E
Engine
)
(
part
?E ?TWD)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
instance
?R1
Rotating
)
(
patient
?R1 ?C)
(
instance
?R2
Rotating
)
(
patient
?R2 ?W1)
(
causes
?R1 ?R2)
(
patient
?R3 ?W2)
(
causes
?R1 ?R3)
(
not
(
exists
(?W3 ?R4)
(
and
(
not
(
equal
?W1 ?W3))
(
not
(
equal
?W2 ?W3))
(
part
?W3 ?TWD)
(
instance
?R4
Rotating
)
(
patient
?R4 ?W3)
(
causes
?R1 ?R4))))))))))
Cars.kif 4619-4651
Entit�Concreta
è un'
istanza
di
TwoWheelDriveVehicle
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è una
parte
di
Entit�Concreta
Entit�
è una
parte
di
Entit�Concreta
Entit�
is
uguale
a
Entit�
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Engine
Entit�
è una
parte
di
Entit�Concreta
Entit�
è un'
istanza
di
Crankshaft
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
Entit�
Entit�
is
uguale
a
Entit�
Entit�
is
uguale
a
Entit�
Entit�
è una
parte
di
Entit�Concreta
Entit�
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
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