hasPurpose
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
Processus
est une
instance
de
DefensiveInformationOperation
processus
est un
agent
de
agent cognitif
enemy
agent cognitif
and
agent cognitif
agent cognitif
desire
agent cognitif
conna
�t
entit�
agent cognitif
desire
agent cognitif
ne
conna
�t %n{pas}
entit�
processus
a pour
but
agent cognitif
ne
conna
�t %n{pas}
entit�
(=>
(
and
(
instance
?E
Electrocardiography
)
(
patient
?E ?H)
(
agent
?E ?D)
(
attribute
?D
MedicalDoctor
))
(
hasPurpose
?E
(
knows
?D
(
exists
(?T)
(
truth
(
attribute
?H
(
ImpairedBodyPartFn
Heart
)) ?T)))))
Medicine.kif 3449-3460
Processus
est une
instance
de
Electrocardiography
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
MedicalDoctor
est un
attribut
de
AutonomousAgent
processus
a pour
but
AutonomousAgent
conna
�t
entit�
truth
ImpairedBodyPartFn
Heart
est un
attribut
de
entit�
and
entit�
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
Crankcase
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeTransfer
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeIntake
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
Objet corpusculaire
est une
instance
de
Exhaust
Fuel
est
fait
de
objet corpusculaire
transf�re
est une
instance
de
transf�re
objet corpusculaire
NG est une
instance
de
Engine
transf�re
a pour
origine
objet corpusculaire
NG
physique
est une
instance
de
CatalyticConverter
transf�re
aboutit
�
physique
objectTransferred
transf�re
and
objet corpusculaire
physique
a pour
but
entit�
entit�
est une
instance
de
combustion
physique
est un
instrument
pour
entit�
objet corpusculaire
est un
patient
de
entit�
eventLocated
entit�
and
physique
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
Objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
UnitOfVolume
objet
contient
entit�
la
mesure
de
entit�
est
entit�
entit�
(s)
EngineFlooded
est un
attribut
de
objet
pendant
position temporel
objet
a pour
but
entit�
2
entit�
entit�
2 est une
instance
de
Fuel
objet
contient
entit�
2 la
mesure
de
entit�
2 est
entit�
entit�
(s)
entit�
est
plus
grand
ou �gal �
entit�
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2142-2154
Objet
est une
instance
de
EngineCoolingSystem
objet
est une
instance
de
Engine
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
refroidir
objet
est un
instrument
pour
entit�
objet
est un
patient
de
entit�
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11631-11639
Processus
est une
instance
de
processus educationnel
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
est une
instance
de
apprendre
entit�
est un
patient
de
entit�
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
Processus
est une
instance
de
Exfiltration
processus
est un
agent
de
AutonomousAgent
processus
entit�
processus
est une
instance
de
pr�tendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
entit�
croit
processus
0
processus
0 est
processus
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2930-2948
Composant d'un appareil
est une
instance
de
EngineGovernor
composant d'un appareil
est une
instance
de
Engine
composant d'un appareil
est
connect
� �
composant d'un appareil
governorSpeed
composant d'un appareil
and
nombre r�el
MilesPerHour
(s)
composant d'un appareil
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
appareil
entit�
est une
partie
de
composant d'un appareil
entit�
est une
instance
de
Rotating
la
mesure
de
entit�
est
entit�
MilesPerHour
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
entit�
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?V
Vehicle
)
(
connectedEngineeringComponents
?EG ?V)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?T ?M)
(
and
(
instance
?T
Translocation
)
(
holdsDuring
(
WhenFn
?T)
(
and
(
measure
?V
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2957-2973
Composant d'un appareil
est une
instance
de
EngineGovernor
composant d'un appareil
est une
instance
de
Vehicle
composant d'un appareil
est
connect
� �
composant d'un appareil
governorSpeed
SpeedGovernor
and
nombre r�el
MilesPerHour
(s)
composant d'un appareil
a pour
but
entit�
entit�
entit�
est une
instance
de
Translocation
la
mesure
de
composant d'un appareil
est
entit�
MilesPerHour
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
entit�
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
Processus
est une
instance
de
Scholarship
processus
aboutit
�
entit�
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
EducationalProgram
entit�
exprime
le contenu de
entit�
entit�
exp
�rimente
entit�
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2730-2744
Objet
est une
instance
de
FanBelt
objet
est une
instance
de
EngineFan
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
objet
est une
partie
de
objet
processus
est une
instance
de
d�palcement
objet
est un
patient
de
processus
objet
a pour
but
processus
2
processus
2 est une
instance
de
Rotating
processus
cause
processus
2
objet
est un
patient
de
processus
2
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
apprendre
entit�
exp
�rimente
entit�
entit�
est un
agent
de
AutonomousAgent
militaryOfArea
entit�
and
AutonomousAgent
entit�
est une
instance
de
MilitaryForce
entit�
est
situ
� �
AutonomousAgent
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
Objet
est une
instance
de
FuelPump
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
d�palcement
est une
instance
de
transporter
processus
est une
instance
de
Fuel
processus
est un
patient
de
d�palcement
objet
est un
instrument
pour
processus
objet
est une
instance
de
GasTank
objet
est une
partie
de
objet
objet
est une
instance
de
EngineCylinder
objet
est une
partie
de
objet
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
but
processus
F
processus
F est une
instance
de
FuelFilter
betweenOnPath
objet
,
processus
F,
objet
and
objet
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
Objet
est une
instance
de
FuelPump
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
processus
est une
instance
de
transporter
processus
est une
instance
de
Fuel
processus
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
GasTank
entit�
est une
partie
de
objet
entit�
est une
instance
de
EngineCylinder
entit�
est une
partie
de
objet
processus
a pour
origine
entit�
processus
aboutit
�
entit�
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
CultivatedLandArea
est une
instance
de
Garden
plantInArea
plante
and
CultivatedLandArea
CultivatedLandArea
a pour
but
entit�
entit�
est une
instance
de
r�cr�ation ou exercice
eventLocated
entit�
and
CultivatedLandArea
(=>
(
and
(
instance
?G
GramStaining
)
(
agent
?G ?H)
(
patient
?G ?B))
(
hasPurpose
?G
(
knows
?H
(
exists
(?S)
(
and
(
instance
?S
GramStainAttribute
)
(
attribute
?B ?S))))))
Medicine.kif 5369-5379
Processus
est une
instance
de
GramStaining
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
AutonomousAgent
conna
�t
entit�
entit�
est une
instance
de
GramStainAttribute
entit�
est un
attribut
de
entit�
(=>
(
and
(
instance
?G
SpeedGovernor
)
(
governorSpeed
?V
(
MeasureFn
?S
MilesPerHour
))
(
connectedEngineeringComponents
?G ?V))
(
hasPurpose
?G
(
not
(
exists
(?SP2)
(
and
(
measure
?V
(
MeasureFn
?SP2
MilesPerHour
))
(
greaterThan
?SP2 ?S))))))
Cars.kif 2909-2921
Composant d'un appareil
est une
instance
de
SpeedGovernor
governorSpeed
composant d'un appareil
and
nombre r�el
MilesPerHour
(s)
composant d'un appareil
est
connect
� �
composant d'un appareil
composant d'un appareil
a pour
but
nombre r�el
P2 la
mesure
de
composant d'un appareil
est
nombre r�el
P2
MilesPerHour
(s)
nombre r�el
P2 est
plus
grand
que
nombre r�el
(=>
(
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 25093-25114
TelecomNumber
est une
instance
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
TelecomNumber
a pour
but
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
communication
TelecomNumber
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
est
d
�but de immediatement
apr
�s
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 12910-12920
Processus
est une
instance
de
Hunting
entit�
est un
patient
de
processus
processus
a pour
but
entit�
ROC
entit�
est un
patient
de
entit�
ROC
entit�
ROC est une
instance
de
confiner
entit�
ROC est une
instance
de
tuer
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
AutonomousAgent
est une
instance
de
Man
Mausaharati
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
Drumming
processus
est un
agent
de
AutonomousAgent
processus
AY est une
instance
de
jour
interval temporel
est une
instance
de
Sunrise
interval temporel
prend place
pendant
processus
AY
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
processus
a pour
but
entit�
interval temporel
UHUR and
entit�
entit�
est une
instance
de
WakingUp
entit�
exp
�rimente
entit�
interval temporel
UHUR est une
instance
de
Suhur
interval temporel
UHUR est un
agent
de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
interval temporel
UHUR
temps
d'existence de
entit�
prend place
pendant
processus
AY
temps
d'existence de
interval temporel
UHUR prend place
pendant
processus
AY
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
Processus
est une
instance
de
Immigrating
processus
est un
agent
de
AutonomousAgent
secteur g�opolitique
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
nation
processus
a pour
origine
secteur g�opolitique
processus
aboutit
�
secteur g�opolitique
secteur g�opolitique
est
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
processus
a pour
but
AutonomousAgent
vie
�
secteur g�opolitique
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
Transf�re
est une
instance
de
Intubation
objet
est une
instance
de
Tube
objectTransferred
transf�re
and
objet
AutonomousAgent
exp
�rimente
transf�re
transf�re
a pour
but
entit�
entit�
est une
instance
de
respirer
objet
est un
instrument
pour
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