causes
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
humain
,
AutonomousAgent
and
action l�gale
humain
desire
action l�gale
D
action l�gale
D est une
instance
de
LegalDecision
action l�gale
cause
action l�gale
D
benefits
action l�gale
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
physique
and
objet
l'argument
entit�
entit�
est une
instance
de
endommager
objet
est un
patient
de
entit�
involvedInEvent
entit�
and
physique
physique
cause
entit�
a la
force
modale
de
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
InterpersonalDisgust
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
entit�
est une
instance
de
perception
entit�
est un
patient
de
entit�
entit�
exp
�rimente
entit�
entit�
est une
instance
de
humain
temps
d'existence de
entit�
prend place
pendant
position temporel
cause
InterpersonalDisgust
est un
attribut
de
entit�
pendant
position temporel
(=>
(
holdsDuring
?T
(
attribute
?H
Antivaxxer
))
(
believes
?H
(
exists
(?V ?D)
(
and
(
instance
?V
Vaccination
)
(
instance
?D
Damaging
)
(
causes
?V ?D)))))
Medicine.kif 3821-3829
Antivaxxer
est un
attribut
de
agent cognitif
pendant
position temporel
agent cognitif
croit
entit�
entit�
entit�
est une
instance
de
Vaccination
entit�
est une
instance
de
endommager
entit�
cause
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�
pendant
interval temporel
processus
entit�
and
entit�
processus
est une
instance
de
d�clarer
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
est un
agent
de
AutonomousAgent
containsFormula
processus
and
entit�
est un
agent
de
entit�
cause
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
Processus
est une
instance
de
Awarding
AutonomousAgent
AutonomousAgent
,
processus
and
processus
WARD
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
processus
processus
WARD est une
instance
de
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
WARD est un
patient
de
processus
processus
aboutit
�
AutonomousAgent
processus
cause
processus
(=>
(
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
Physique
est une
instance
de
AutomobileTransmission
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Crankshaft
entit�
est une
instance
de
Driveshaft
entit�
est une
instance
de
Automobile
entit�
est une
partie
de
entit�
physique
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
est
connect
� �
physique
entit�
est
connect
� �
physique
entit�
est une
instance
de
Rotating
entit�
est une
instance
de
Rotating
entit�
est une
instance
de
Rotating
entit�
est une
instance
de
Rotating
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
entit�
cause
entit�
entit�
cause
entit�
entit�
est
entit�
la
mesure
de
entit�
est
RotationFn
entit�
and
MinuteDuration
pendant
entit�
la
mesure
de
entit�
est
RotationFn
entit�
and
MinuteDuration
pendant
entit�
la
mesure
de
entit�
est
RotationFn
entit�
and
MinuteDuration
pendant
entit�
la
mesure
de
entit�
est
RotationFn
entit�
and
MinuteDuration
pendant
entit�
entit�
est
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
Physique
est une
instance
de
BiochemicalAttack
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
endommager
entit�
est un
patient
de
entit�
physique
cause
entit�
entit�
est une
instance
de
organisme
(=>
(
instance
?BLEED
Bleeding
)
(
exists
(?INJURY)
(
and
(
instance
?INJURY
Injuring
)
(
causes
?INJURY ?BLEED))))
Mid-level-ontology.kif 21382-21387
Processus
est une
instance
de
Bleeding
processus
processus
est une
instance
de
blesser
processus
cause
processus
(=>
(
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
Processus
est une
instance
de
FinalValueFee
WebListing
financial transaction
,
AutonomousAgent
,
entit�
and
WebSite
WebListing
est une
instance
de
WebListing
financial transaction
est une
instance
de
vendre
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
physique
WebListing
est une
instance
de
WebListing
entit�
est un
patient
de
WebListing
entit�
est un
patient
de
financial transaction
financial transaction
cause
processus
processus
est un
agent
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
eCommerceSite
financial transaction
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
Processus
est une
instance
de
InsertionFee
entit�
processus
and
AutonomousAgent
entit�
est une
instance
de
WebListing
processus
est une
instance
de
ListOnSite
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
cause
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
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
est une
instance
de
CheckInService
agent cognitif
agent cognitif
,
processus
and
processus
customer
agent cognitif
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
processus
est une
instance
de
Greeting
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
ServiceProcess
cause
processus
(=>
(
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
Processus
est une
instance
de
CentrifugalMotion
processus
objet
,
AutonomousAgent
and
AutonomousAgent
processus
est une
instance
de
Rotating
axis
objet
and
AutonomousAgent
processus
a pour
origine
objet
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
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
Processus
est une
instance
de
CentripetalMotion
processus
objet
,
AutonomousAgent
and
AutonomousAgent
processus
est une
instance
de
Rotating
axis
objet
and
AutonomousAgent
processus
aboutit
�
objet
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
cause
processus
(=>
(
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
Physique
est une
instance
de
CPR
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
HeartBeat
entit�
est
situ
� �
entit�
physique
cause
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
Physique
est une
instance
de
Distributor
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Engine
entit�
est une
instance
de
SparkPlug
entit�
est une
instance
de
Spark
entit�
est une
partie
de
physique
physique
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
Rotating
entit�
cause
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
Physique
est une
instance
de
Driveshaft
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
entit�
est une
instance
de
Wheel
physique
est une
partie
de
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
Rotating
physique
est un
patient
de
entit�
entit�
est un
patient
de
entit�
entit�
cause
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
Objet
est une
instance
de
SwitchDevice
processus
processus
and
objet
objet
est un
instrument
pour
processus
processus
cause
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
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
Processus
est une
instance
de
EngineCranking
objet
objet
,
objet
,
processus
,
objet
and
processus
objet
est une
instance
de
ElectricalMotor
objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
Shaft
objet
est une
instance
de
Crankshaft
objet
est une
partie
de
objet
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Rotating
objet
est un
patient
de
processus
processus
est une
instance
de
Rotating
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
cause
processus
(=>
(
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
Physique
est une
instance
de
EngineControlModule
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Automobile
entit�
est une
instance
de
Engine
entit�
est une
instance
de
processus
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
physique
est une
partie
de
entit�
eventLocated
entit�
and
physique
eventLocated
entit�
and
entit�
entit�
cause
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
Physique
est une
instance
de
ExplosiveDevice
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Explosion
physique
est un
instrument
pour
entit�
entit�
cause
entit�
entit�
est une
instance
de
endommager
(=>
(
instance
?EVU
EmotionalVoiceUtterances
)
(
causes
(
exists
(?E ?A)
(
and
(
instance
?E
EmotionalState
)
(
attribute
?A ?E)))
(
agent
?EVU ?A)))
emotion.kif 99-106
Entit�
est une
instance
de
EmotionalVoiceUtterances
entit�
entit�
entit�
est une
instance
de
�tat �motionnel
entit�
est un
attribut
de
entit�
cause
entit�
est un
agent
de
entit�
(=>
(
instance
?EXPLOSION
Explosion
)
(
exists
(?PROC)
(
and
(
instance
?PROC
ChemicalProcess
)
(
causes
?PROC ?EXPLOSION))))
Mid-level-ontology.kif 15836-15841
Processus
est une
instance
de
Explosion
processus
processus
est une
instance
de
processus chimique
processus
cause
processus
(=>
(
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
Physique
est une
instance
de
Flywheel
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Rotating
entit�
est une
instance
de
Rotating
physique
est un
patient
de
entit�
entit�
cause
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
Processus
est une
instance
de
FlashFlooding
processus
nombre r�el
processus
est une
instance
de
WaterMotion
processus
cause
processus
temps
d'existence de
processus
rencontre
temps
d'existence de
processus
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
HourDuration
(s)
nombre r�el
est
moins
que 6.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