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
e' uma
instancia
de
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
termina
em
Entidade
ComputerProcess
tem por
fim
DigitalData
ROC
computerRunning
DigitalData
ROC and
Entidade
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
hasPurpose
?IRRIGATION
(
attribute
?AREA
FertileTerrain
)))
Geography.kif 5720-5725
Processo
e' uma
instancia
de
Irrigating
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area terrestre
Processo
tem por
fim
FertileTerrain
e' um
atributo
de
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
KnockLight
AutonomousAgent
e' uma
instancia
de
Humano
Deaf
e' um
atributo
de
AutonomousAgent
AutonomousAgent
usa
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Door
AutonomousAgent
sabe
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
KnockLight
Fisico
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Comodo
Objeto
e' uma
instancia
de
Door
Objeto
e' uma &parte de
Objeto
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Impactar
Objeto
e' um
patient
de
Entidade
Entidade
causa
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
e' uma
instancia
de
RadiatingVisibleLight
Fisico
e' um
instrumento
para
Entidade
(=>
(
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
e' uma
instancia
de
Locating
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Regiao
AutonomousAgent
sabe
Entidade
e'
situado
em
Entidade
(=>
(
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
Transferencia
e' uma
instancia
de
MoveToEvac
objectTransferred
Transferencia
and
Objeto
Transferencia
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Evacuation
objectTransferred
Entidade
and
Objeto
tempo
de existencia de
Transferencia
acontence
antes
de
tempo
de existencia de
Entidade
(=>
(
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
e' uma
instancia
de
Ducking
Processo
e' um
agente
de
AutonomousAgent
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Impactar
AutonomousAgent
e' um
patient
de
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
Organismo
Objeto
e' uma
instancia
de
Egg
Embryonic
e' um
atributo
de
Objeto
Objeto
e' uma &parte de
Objeto
Fisico
Fisico
e' uma
instancia
de
EggYolk
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Ingerir
Entidade
e' um
agente
de
Objeto
Fisico
e' um
recurso
para
Entidade
(=>
(
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
Atributo
e' uma
instancia
de
OccupationalDomain
Fisico
e' uma
instancia
de
AttrFn
Agente Cognitivo
and
Atributo
Processo
typicalAction
Processo
and
AttrFn
Agente Cognitivo
and
Atributo
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
agente
de
Entidade
(=>
(
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
e' uma
instancia
de
Ordaining
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
Humano
Fisico
e'
membro
de
Christianity
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ceremony
Entidade
e' uma
instancia
de
Appointing
Entidade
e' um
sub
-processo de
Entidade
Fisico
e' um
patient
de
Entidade
appointedPosition
Entidade
,
Fisico
and
Cleric
(=>
(
and
(
instance
?ORDER
OperationOrder
)
(
instance
?OPERATION
MilitaryOperation
))
(
hasPurpose
?ORDER
(
coordinates
?ORDER ?OPERATION)))
MilitaryProcesses.kif 1678-1683
Fisico
e' uma
instancia
de
OperationOrder
Entidade
e' uma
instancia
de
MilitaryOperation
Fisico
tem por
fim
coordinates
Fisico
and
Entidade
(=>
(
and
(
instance
?Order
PlacingAnOrder
)
(
orderFor
?Order ?TransactionType ?Shares))
(
hasPurpose
?Order
(
exists
(?Transaction)
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares)))))
FinancialOntology.kif 1971-1979
Transacao Financeira
e' uma
instancia
de
PlacingAnOrder
orderFor
Transacao Financeira
,
Transacao Financeira
and
Security
Transacao Financeira
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Transacao Financeira
Security
e' um
patient
de
Entidade
(=>
(
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
Objeto Corpuscular
e' uma
instancia
de
DigitalPost
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Objeto Corpuscular
e' um
componente
de
WebSite
creator
AutonomousAgent
and
Objeto Corpuscular
registeredUser
AutonomousAgent
and
WebSite
Objeto Corpuscular
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Disseminar
Entidade
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
patient
de
Entidade
WebSite
e' um
instrumento
para
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
ParkingBrake
Objeto
e' uma
instancia
de
Vehicle
DeviceOn
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Translocation
Objeto
e' um
patient
de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
e' uma
instancia
de
PreservingFood
Entidade
e' uma
instancia
de
Comida
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Decomposicao Quimica
Entidade
e' um
patient
de
Entidade
(=>
(
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
e' uma
instancia
de
PublicProgram
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Helping
AutonomousAgent
experimenta
Entidade
AutonomousAgent
e' uma
instancia
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
Fisico
e' uma
instancia
de
Projectile
caliber
Gun
and
Medida de Comprimento
Fisico
e' uma
instancia
de
Gun
a
largura
de
Fisico
e'
Medida de Comprimento
1
Medida de Comprimento
e'
igual
a
Medida de Comprimento
1
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Atirar
Fisico
e' um
patient
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
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
e' uma
instancia
de
PsychologicalOperation
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' o
resultado
de
Entidade
AutonomousAgent
deseja
Entidade
(=>
(
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
e' uma
instancia
de
RecoveryOperation
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de a
uniao
de
Classificar
e a
uniao
de
Perseguir
e a
uniao
de
Discovering
e a
uniao
de
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
Objeto
e' uma
instancia
de
Stairway
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
e' uma &parte de
Objeto
Entidade
e' uma &parte de
Objeto
Objeto
conecta
Entidade
e
Entidade
(=>
(
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
e' uma
instancia
de
Strangling
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Humano
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Respirar
Entidade
e' um
agente
de
Entidade
(=>
(
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
e' uma
instancia
de
SEO
Entidade
e' um
patient
de
Processo
Processo
tem por
fim
Entidade
_BEFORE
Entidade
_AFTER,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
_BEFORE e' uma
instancia
de
SRPResults
Entidade
_AFTER e' uma
instancia
de
SRPResults
Entidade
e'
igual
a
Entidade
th
elemento
de
Entidade
_BEFORE
Entidade
e'
igual
a
Entidade
th
elemento
de
Entidade
_AFTER
Entidade
e' uma
instancia
de
BestMatchAlgorithm
Entidade
e' uma
instancia
de
BestMatchAlgorithm
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Entidade
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Processo
Entidade
e'
maior
que
Entidade
(=>
(
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
e' uma
instancia
de
SafetyHarness
Animal
e' uma
instancia
de
Animal
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
WearableItem
e' um
instrumento
para
Entidade
Animal
e' um
patient
de
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
(=>
(
and
(
instance
?SR
ReconnaissanceOperation
)
(
agent
?SR ?AGENT)
(
instance
?PROP
Proposition
))
(
hasPurpose
?SR
(
knows
?AGENT ?PROP)))
MilitaryProcesses.kif 684-690
Processo
e' uma
instancia
de
ReconnaissanceOperation
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Proposicao
Processo
tem por
fim
AutonomousAgent
sabe
Entidade
(=>
(
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
e' uma
instancia
de
ReconnaissanceOperation
Processo
e' um
agente
de
AutonomousAgent
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
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