hasPurpose
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
ComputerProcess
est une
instance
de
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
programme d'ordinateur
ComputerProcess
aboutit
�
entit�
ComputerProcess
a pour
but
DigitalData
ROC
computerRunning
DigitalData
ROC and
entit�
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
hasPurpose
?IRRIGATION
(
attribute
?AREA
FertileTerrain
)))
Geography.kif 5720-5725
Processus
est une
instance
de
Irrigating
entit�
est un
patient
de
processus
entit�
est une
instance
de
zone de terre
processus
a pour
but
FertileTerrain
est un
attribut
de
entit�
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 25828-25840
Objet
est une
instance
de
KnockLight
AutonomousAgent
est une
instance
de
humain
Deaf
est un
attribut
de
AutonomousAgent
AutonomousAgent
utilise
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
impacte
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Door
AutonomousAgent
conna
�t
entit�
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25809-25826
Physique
est une
instance
de
KnockLight
physique
est
situ
� �
objet
objet
est une
instance
de
pi�ce
objet
est une
instance
de
Door
objet
est une
partie
de
objet
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
impacte
objet
est un
patient
de
entit�
entit�
cause
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
est une
instance
de
RadiatingVisibleLight
physique
est un
instrument
pour
entit�
(=>
(
and
(
instance
?LOCATING
Locating
)
(
patient
?LOCATING ?THING)
(
agent
?LOCATING ?AGENT))
(
hasPurpose
?LOCATING
(
exists
(?LOCATION)
(
and
(
instance
?LOCATION
Region
)
(
knows
?AGENT
(
located
?THING ?LOCATION))))))
MilitaryProcesses.kif 577-587
Processus
est une
instance
de
Locating
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
a pour
but
entit�
entit�
est une
instance
de
r�gion
AutonomousAgent
conna
�t
entit�
est
situ
� �
entit�
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
Transf�re
est une
instance
de
MoveToEvac
objectTransferred
transf�re
and
objet
transf�re
a pour
but
entit�
entit�
est une
instance
de
Evacuation
objectTransferred
entit�
and
objet
temps
d'existence de
transf�re
arrive
plus
t�t que
temps
d'existence de
entit�
(=>
(
and
(
instance
?MOTION
Ducking
)
(
agent
?MOTION ?AGENT))
(
hasPurpose
?MOTION
(
not
(
exists
(?IMPACT)
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?AGENT))))))
Mid-level-ontology.kif 13123-13130
Processus
est une
instance
de
Ducking
processus
est un
agent
de
AutonomousAgent
processus
a pour
but
entit�
entit�
est une
instance
de
impacte
AutonomousAgent
est un
patient
de
entit�
(=>
(
and
(
instance
?O
Organism
)
(
instance
?E
Egg
)
(
attribute
?O
Embryonic
)
(
part
?O ?E))
(
exists
(?Y)
(
and
(
instance
?Y
EggYolk
)
(
hasPurpose
?Y
(
exists
(?I)
(
and
(
instance
?I
Ingesting
)
(
agent
?I ?O)
(
resource
?I ?Y)))))))
Food.kif 2548-2562
Objet
est une
instance
de
organisme
objet
est une
instance
de
Egg
Embryonic
est un
attribut
de
objet
objet
est une
partie
de
objet
physique
physique
est une
instance
de
EggYolk
physique
a pour
but
entit�
entit�
est une
instance
de
ing�rer
entit�
est un
agent
de
objet
physique
est une
resource
pour
entit�
(=>
(
and
(
instance
?OCCD
OccupationalDomain
)
(
instance
?X
(
AttrFn
CognitiveAgent
?OCCD)))
(
exists
(?PCLASS)
(
and
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?OCCD))
(
hasPurpose
?X
(
exists
(?P)
(
and
(
instance
?P ?PCLASS)
(
agent
?X ?P)))))))
Mid-level-ontology.kif 22279-22292
Attribut
est une
instance
de
OccupationalDomain
physique
est une
instance
de
AttrFn
agent cognitif
and
attribut
processus
typicalAction
processus
and
AttrFn
agent cognitif
and
attribut
physique
a pour
but
entit�
entit�
est une
instance
de
processus
physique
est un
agent
de
entit�
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
Processus
est une
instance
de
Ordaining
physique
est un
patient
de
processus
physique
est une
instance
de
humain
physique
est un
membre
de
Christianity
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
Ceremony
entit�
est une
instance
de
Appointing
entit�
est un
sous
-processus de
entit�
physique
est un
patient
de
entit�
appointedPosition
entit�
,
physique
and
Cleric
(=>
(
and
(
instance
?ORDER
OperationOrder
)
(
instance
?OPERATION
MilitaryOperation
))
(
hasPurpose
?ORDER
(
coordinates
?ORDER ?OPERATION)))
MilitaryProcesses.kif 1678-1683
Physique
est une
instance
de
OperationOrder
entit�
est une
instance
de
MilitaryOperation
physique
a pour
but
coordinates
physique
and
entit�
(=>
(
and
(
instance
?Order
PlacingAnOrder
)
(
orderFor
?Order ?TransactionType ?Shares))
(
hasPurpose
?Order
(
exists
(?Transaction)
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares)))))
FinancialOntology.kif 1971-1979
Financial transaction
est une
instance
de
PlacingAnOrder
orderFor
financial transaction
,
financial transaction
and
Security
financial transaction
a pour
but
entit�
entit�
est une
instance
de
financial transaction
Security
est un
patient
de
entit�
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2830-2844
Objet corpusculaire
est une
instance
de
DigitalPost
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet corpusculaire
est un
composant
de
WebSite
creator
AutonomousAgent
and
objet corpusculaire
registeredUser
AutonomousAgent
and
WebSite
objet corpusculaire
a pour
but
entit�
entit�
est une
instance
de
disseminer
entit�
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
patient
de
entit�
WebSite
est un
instrument
pour
entit�
(=>
(
and
(
instance
?P
ParkingBrake
)
(
instance
?V
Vehicle
)
(
holdsDuring
?T1
(
attribute
?P
DeviceOn
))
(
part
?P ?V))
(
hasPurpose
?P
(
holdsDuring
?T1
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
patient
?T ?V)))))))
Cars.kif 567-580
Objet
est une
instance
de
ParkingBrake
objet
est une
instance
de
Vehicle
DeviceOn
est un
attribut
de
objet
pendant
position temporel
objet
est une
partie
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
Translocation
objet
est un
patient
de
entit�
pendant
position temporel
(=>
(
and
(
instance
?P
PreservingFood
)
(
instance
?F
Food
)
(
patient
?P ?F))
(
hasPurpose
?P
(
not
(
exists
(?D)
(
and
(
instance
?D
ChemicalDecomposition
)
(
patient
?D ?F))))))
Food.kif 191-201
Processus
est une
instance
de
PreservingFood
entit�
est une
instance
de
nourriture
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
est une
instance
de
d�composition chemical
entit�
est un
patient
de
entit�
(=>
(
and
(
instance
?PP
PublicProgram
)
(
experiencer
?PP ?PUBLIC))
(
hasPurpose
?PP
(
exists
(?HELPING)
(
and
(
instance
?HELPING
Helping
)
(
experiencer
?HELPING ?PUBLIC)
(
instance
?PUBLIC
Public
)))))
MilitaryProcesses.kif 1383-1392
Processus
est une
instance
de
PublicProgram
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
est une
instance
de
Helping
AutonomousAgent
exp
�rimente
entit�
AutonomousAgent
est une
instance
de
Public
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
hasPurpose
?GUN
(
exists
(?SHOOTING)
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)
(
instrument
?SHOOTING ?GUN)))))
MilitaryDevices.kif 250-262
Physique
est une
instance
de
Projectile
caliber
Gun
and
mesure de longueur
physique
est une
instance
de
Gun
la
largeur
de
physique
est
mesure de longueur
1
mesure de longueur
est
mesure de longueur
1
physique
a pour
but
entit�
entit�
est une
instance
de
tirer
physique
est un
patient
de
entit�
physique
est un
instrument
pour
entit�
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
Processus
est une
instance
de
PsychologicalOperation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
entit�
est un
agent
de
entit�
entit�
est le
resultat
de
entit�
AutonomousAgent
desire
entit�
(=>
(
and
(
instance
?RO
RecoveryOperation
)
(
patient
?RO ?TARGET))
(
hasPurpose
?RO
(
exists
(?PROCESS)
(
and
(
patient
?PROCESS ?TARGET)
(
instance
?PROCESS
(
UnionFn
Classifying
(
UnionFn
Pursuing
(
UnionFn
Discovering
(
UnionFn
Locating
Returning
)))))))))
MilitaryProcesses.kif 558-570
Processus
est une
instance
de
RecoveryOperation
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de l'
union
de
classifier
et l'
union
de
pursuivre
et l'
union
de
Discovering
et l'
union
de
Locating
et
Returning
(=>
(
and
(
instance
?S
Stairway
)
(
part
?S ?B)
(
instance
?B
Building
))
(
hasPurpose
?S
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
BuildingLevel
)
(
instance
?L2
BuildingLevel
)
(
part
?L1 ?B)
(
part
?L2 ?B)
(
connects
?S ?L1 ?L2)))))
Mid-level-ontology.kif 15072-15084
Objet
est une
instance
de
Stairway
objet
est une
partie
de
objet
objet
est une
instance
de
immeuble
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
BuildingLevel
entit�
est une
instance
de
BuildingLevel
entit�
est une
partie
de
objet
entit�
est une
partie
de
objet
objet
relie
entit�
et
entit�
(=>
(
and
(
instance
?S
Strangling
)
(
patient
?S ?V)
(
instance
?V
Human
))
(
hasPurpose
?S
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
agent
?B ?V))))))
Mid-level-ontology.kif 6536-6546
Processus
est une
instance
de
Strangling
entit�
est un
patient
de
processus
entit�
est une
instance
de
humain
processus
a pour
but
entit�
entit�
est une
instance
de
respirer
entit�
est un
agent
de
entit�
(=>
(
and
(
instance
?SEO
SEO
)
(
patient
?SEO ?PAGE))
(
hasPurpose
?SEO
(
exists
(?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2)
(
and
(
instance
?SRPRESULT_BEFORE
SRPResults
)
(
instance
?SRPRESULT_AFTER
SRPResults
)
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_BEFORE ?BEFORE))
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_AFTER ?AFTER))
(
instance
?BM1
BestMatchAlgorithm
)
(
instance
?BM2
BestMatchAlgorithm
)
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?SEO)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?SEO))
(
greaterThan
?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2388-2404
Processus
est une
instance
de
SEO
entit�
est un
patient
de
processus
processus
a pour
but
entit�
_BEFORE
entit�
_AFTER,
entit�
,
entit�
,
entit�
and
entit�
entit�
_BEFORE est une
instance
de
SRPResults
entit�
_AFTER est une
instance
de
SRPResults
entit�
est
entit�
th
entit�
_BEFORE
entit�
est
entit�
th
entit�
_AFTER
entit�
est une
instance
de
BestMatchAlgorithm
entit�
est une
instance
de
BestMatchAlgorithm
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
processus
entit�
est
plus
grand
que
entit�
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3397-3425
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
(=>
(
and
(
instance
?SR
ReconnaissanceOperation
)
(
agent
?SR ?AGENT)
(
instance
?PROP
Proposition
))
(
hasPurpose
?SR
(
knows
?AGENT ?PROP)))
MilitaryProcesses.kif 684-690
Processus
est une
instance
de
ReconnaissanceOperation
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
proposition
processus
a pour
but
AutonomousAgent
conna
�t
entit�
(=>
(
and
(
instance
?SR
ReconnaissanceOperation
)
(
agent
?SR ?AGENT))
(
not
(
hasPurpose
?SR
(
exists
(?ATTACK ?HOSTILE)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))))))
MilitaryProcesses.kif 694-704
Processus
est une
instance
de
ReconnaissanceOperation
processus
est un
agent
de
AutonomousAgent
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
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