knows
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Objeto
e' uma
instancia
de
CarAlarm
Objeto
e' uma
instancia
de
SelfPoweredRoadVehicle
Objeto
e' uma &parte de
Objeto
Entidade
Entidade
,
Entidade
and
Entidade
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
tempo
de existencia de
Entidade
e'
igual
a
Entidade
eventPartlyLocated
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
Near
em relacao a
Entidade
vale
durante
Entidade
aumenta
a probabilidade de
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
eventPartlyLocated
Entidade
and
Entidade
Objeto
e' um
patient
de
Entidade
vale
durante
Entidade
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
Objeto
e' uma
instancia
de
FireAlarm
DeviceOn
e' um
atributo
de
Objeto
Objeto
e'
situado
em
Objeto
Processo
Processo
e' uma
instancia
de
Som Irradiante
Objeto
e' um
instrumento
para
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
Entidade
e'
situado
em
Objeto
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Fire
eventLocated
Entidade
and
Objeto
(=>
(
attribute
?X
Celebrity
)
(
greaterThan
(
exists
(?A)
(
CardinalityFn
(
KappaFn
?A
(
knows
?A
(
exists
(?P)
(
equal
?P ?X)))))) 1000))
Mid-level-ontology.kif 22173-22182
Celebrity
e' um
atributo
de
Objeto
Entidade
o numero de
instancias
dentro de a
classe
descrita por
Entidade
e'
maior
que 1000
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Entidade
e' uma
instancia
de
CommunitySpread
Agente Cognitivo
Agente Cognitivo
sabe
Entidade
Entidade
tem como
origem
Agente Cognitivo
Agente Cognitivo
se chama
nome
Entidade
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
Fisico
e' uma
instancia
de
FindMyIPhone
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
AppleIPhone
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
nao
sabe
%n
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Entidade
Entidade
sabe
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
Processo
e' uma
instancia
de
Phishing
Agente Cognitivo
Agente Cognitivo
,
Processo
and
Formula
Processo
e' uma
instancia
de
Communicacao
Processo
tem como
origem
Agente Cognitivo
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Agente Cognitivo
Formula
e' uma
instancia
de
Formula
Agente Cognitivo
sabe
Formula
Agente Cognitivo
nao
deseja
%n
Agente Cognitivo
sabe
Formula
Agente Cognitivo
deseja
Agente Cognitivo
sabe
Formula
(=>
(
instance
?R
RTPCRTest
)
(
hasPurpose
?R
(
exists
(?M ?A ?T ?MEAS)
(
and
(
instance
?M
Measuring
)
(
patient
?M ?RNA)
(
instance
?RNA
RNAMolecule
)
(
holdsDuring
?T
(
measure
?RNA ?MEAS))
(
knows
?A
(
holdsDuring
?T
(
measure
?RNA ?MEAS)))))))
Medicine.kif 1575-1587
Fisico
e' uma
instancia
de
RTPCRTest
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
EAS
Entidade
e' uma
instancia
de
Medir
Fisico
NA e' um
patient
de
Entidade
Fisico
NA e' uma
instancia
de
RNAMolecule
a
medida
de
Fisico
NA e'
Entidade
EAS
vale
durante
Entidade
Entidade
sabe
a
medida
de
Fisico
NA e'
Entidade
EAS
vale
durante
Entidade
(=>
(
instance
?S
Searching
)
(
exists
(?AGENT ?OBJ ?LOC)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
agent
?S ?AGENT)
(
instance
?OBJ
Physical
)
(
patient
?S ?OBJ)
(
instance
?LOC
Object
)
(
located
?OBJ ?LOC)
(
hasPurposeForAgent
?S
(
knows
?AGENT
(
located
?OBJ ?LOC)) ?AGENT))))
Merge.kif 12970-12982
Processo
e' uma
instancia
de
Searching
AutonomousAgent
Fisico
and
Objeto
AutonomousAgent
e' uma
instancia
de
Agente Cognitivo
Processo
e' um
agente
de
AutonomousAgent
Fisico
e' uma
instancia
de
Fisico
Fisico
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Objeto
Fisico
e'
situado
em
Objeto
Processo
tem
finalidade
AutonomousAgent
sabe
Fisico
e'
situado
em
Objeto
para
AutonomousAgent
(=>
(
instance
?TA_CTRL
TerminalAttackControl
)
(
hasPurpose
?TA_CTRL
(
exists
(?AGENT ?ATTACK ?LOCATION ?TARGET)
(
and
(
targetInAttack
?ATTACK ?TARGET)
(
patient
?TA_CTRL ?TARGET)
(
agent
?TA_CTRL ?AGENT)
(
result
?TA_CTRL
(
knows
?AGENT
(
located
?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 468-478
Entidade
_CTRL e' uma
instancia
de
TerminalAttackControl
Entidade
_CTRL tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
RGET
targetInAttack
Entidade
and
Entidade
RGET
Entidade
RGET e' um
patient
de
Entidade
_CTRL
Entidade
_CTRL e' um
agente
de
Entidade
Entidade
sabe
Entidade
RGET e'
situado
em
Entidade
e' o
resultado
de
Entidade
_CTRL
(=>
(
instance
?TA_CTRL
TerminalGuidance
)
(
hasPurpose
?TA_CTRL
(
exists
(?AGENT ?ATTACK ?LOCATION ?TARGET)
(
and
(
targetInAttack
?ATTACK ?TARGET)
(
patient
?TA_CTRL ?TARGET)
(
agent
?TA_CTRL ?AGENT)
(
result
?TA_CTRL
(
knows
?AGENT
(
located
?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 521-531
Entidade
_CTRL e' uma
instancia
de
TerminalGuidance
Entidade
_CTRL tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
RGET
targetInAttack
Entidade
and
Entidade
RGET
Entidade
RGET e' um
patient
de
Entidade
_CTRL
Entidade
_CTRL e' um
agente
de
Entidade
Entidade
sabe
Entidade
RGET e'
situado
em
Entidade
e' o
resultado
de
Entidade
_CTRL
(=>
(
member
?AGNOSTIC
Agnosticism
)
(
not
(
knows
?AGNOSTIC
(
not
(
exists
(?GOD)
(
equal
?GOD
God
))))))
People.kif 691-697
Agente Cognitivo
e'
membro
de
Agnosticism
Agente Cognitivo
nao
sabe
%n
Entidade
Entidade
e'
igual
a
God
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
trusts
Agente Cognitivo
,
AutonomousAgent
and
AutonomousAgent
e'
capaz
de fazer
Entidade
no role
agent
Agente Cognitivo
sabe
AutonomousAgent
e'
capaz
de fazer
Entidade
no role
agent
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
possesses
?AGENT ?SITE)
(
knows
?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
Agente Cognitivo
possui
WebSite
Agente Cognitivo
sabe
Formula
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