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
è un'
istanza
di
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
fine
s in
Entit�
ComputerProcess
ha
scopo
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
Processo
è un'
istanza
di
Irrigating
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
SuperficieTerrestre
Processo
ha
scopo
attribute
Entit�
and
FertileTerrain
(=>
(
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
Oggetto
è un'
istanza
di
KnockLight
AutonomousAgent
è un'
istanza
di
Umano
attribute
AutonomousAgent
and
Deaf
AutonomousAgent
usa
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Door
AutonomousAgent
conosce
s
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
Entit�Concreta
è un'
istanza
di
KnockLight
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Stanza
Oggetto
è un'
istanza
di
Door
Oggetto
è una
parte
di
Oggetto
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Impatto
Oggetto
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
RadiatingVisibleLight
Entit�Concreta
è uno
strumento
per
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
Processo
è un'
istanza
di
Locating
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Regione
AutonomousAgent
conosce
s
Entit�
è
localizzato
in
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
Trasferimento
è un'
istanza
di
MoveToEvac
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
ha
scopo
Entit�
Entit�
è un'
istanza
di
Evacuation
objectTransferred
Entit�
and
Oggetto
il
tempo
di esistenza di
Trasferimento
accades
prima
di il
tempo
di esistenza di
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
Processo
è un'
istanza
di
Ducking
Processo
è un
agente
di
AutonomousAgent
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Impatto
AutonomousAgent
è un
paziente
di
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
Oggetto
è un'
istanza
di
Organismo
Oggetto
è un'
istanza
di
Egg
attribute
Oggetto
and
Embryonic
Oggetto
è una
parte
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
EggYolk
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Ingestione
Entit�
è un
agente
di
Oggetto
Entit�Concreta
è una
risorsa
per
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
Attributo
è un'
istanza
di
OccupationalDomain
Entit�Concreta
è un'
istanza
di
AttrFn
AgenteCognitivo
and
Attributo
Processo
typicalAction
Processo
and
AttrFn
AgenteCognitivo
and
Attributo
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è un
agente
di
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
Processo
è un'
istanza
di
Ordaining
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
è un'
istanza
di
Umano
Entit�Concreta
è un
membro
di
Christianity
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Ceremony
Entit�
è un'
istanza
di
Appointing
Entit�
è un
sottoprocesso
di
Entit�
Entit�Concreta
è un
paziente
di
Entit�
appointedPosition
Entit�
,
Entit�Concreta
and
Cleric
(=>
(
and
(
instance
?ORDER
OperationOrder
)
(
instance
?OPERATION
MilitaryOperation
))
(
hasPurpose
?ORDER
(
coordinates
?ORDER ?OPERATION)))
MilitaryProcesses.kif 1678-1683
Entit�Concreta
è un'
istanza
di
OperationOrder
Entit�
è un'
istanza
di
MilitaryOperation
Entit�Concreta
ha
scopo
coordinates
Entit�Concreta
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
ScambioFinanziario
è un'
istanza
di
PlacingAnOrder
orderFor
ScambioFinanziario
,
ScambioFinanziario
and
Security
ScambioFinanziario
ha
scopo
Entit�
Entit�
è un'
istanza
di
ScambioFinanziario
Security
è un
paziente
di
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
OggettoCorpuscolare
è un'
istanza
di
DigitalPost
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
OggettoCorpuscolare
è un
componente
di
WebSite
creator
AutonomousAgent
and
OggettoCorpuscolare
registeredUser
AutonomousAgent
and
WebSite
OggettoCorpuscolare
ha
scopo
Entit�
Entit�
è un'
istanza
di
Diffusione
Entit�
è un
agente
di
AutonomousAgent
OggettoCorpuscolare
è un
paziente
di
Entit�
WebSite
è uno
strumento
per
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
Oggetto
è un'
istanza
di
ParkingBrake
Oggetto
è un'
istanza
di
Vehicle
attribute
Oggetto
and
DeviceOn
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Translocation
Oggetto
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
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
Processo
è un'
istanza
di
PreservingFood
Entit�
è un'
istanza
di
Cibo
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
DecomposizioneChimica
Entit�
è un
paziente
di
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
Processo
è un'
istanza
di
PublicProgram
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Helping
AutonomousAgent
esperisce
s
Entit�
AutonomousAgent
è un'
istanza
di
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
Entit�Concreta
è un'
istanza
di
Projectile
caliber
Gun
and
MisuraDiLunghezza
Entit�Concreta
è un'
istanza
di
Gun
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
1
MisuraDiLunghezza
is
uguale
a
MisuraDiLunghezza
1
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Sparare
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
è uno
strumento
per
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
Processo
è un'
istanza
di
PsychologicalOperation
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un
agente
di
Entit�
Entit�
è un
risultato
di
Entit�
AutonomousAgent
desidera
s
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
Processo
è un'
istanza
di
RecoveryOperation
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di l'
unione
di
Classificare
e l'
unione
di
Cercare
e l'
unione
di
Discovering
e l'
unione
di
Locating
e
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
Oggetto
è un'
istanza
di
Stairway
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Costruzione
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
BuildingLevel
Entit�
è un'
istanza
di
BuildingLevel
Entit�
è una
parte
di
Oggetto
Entit�
è una
parte
di
Oggetto
Oggetto
connette
Entit�
e
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
Processo
è un'
istanza
di
Strangling
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Umano
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Respirazione
Entit�
è un
agente
di
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
Processo
è un'
istanza
di
SEO
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
_BEFORE
Entit�
_AFTER,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
_BEFORE è un'
istanza
di
SRPResults
Entit�
_AFTER è un'
istanza
di
SRPResults
Entit�
is
uguale
a
Entit�
th
elemento
di
Entit�
_BEFORE
Entit�
is
uguale
a
Entit�
th
elemento
di
Entit�
_AFTER
Entit�
è un'
istanza
di
BestMatchAlgorithm
Entit�
è un'
istanza
di
BestMatchAlgorithm
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Processo
Entit�
è
pi
ù grande di
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
è un'
istanza
di
SafetyHarness
Animale
è un'
istanza
di
Animale
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
WearableItem
è uno
strumento
per
Entit�
Animale
è un
paziente
di
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
(=>
(
and
(
instance
?SR
ReconnaissanceOperation
)
(
agent
?SR ?AGENT)
(
instance
?PROP
Proposition
))
(
hasPurpose
?SR
(
knows
?AGENT ?PROP)))
MilitaryProcesses.kif 684-690
Processo
è un'
istanza
di
ReconnaissanceOperation
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Proposizione
Processo
ha
scopo
AutonomousAgent
conosce
s
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
Processo
è un'
istanza
di
ReconnaissanceOperation
Processo
è un
agente
di
AutonomousAgent
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Attack
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
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