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
Oggetto
è un'
istanza
di
CarAlarm
Oggetto
è un'
istanza
di
SelfPoweredRoadVehicle
Oggetto
è una
parte
di
Oggetto
Entit�
Entit�
,
Entit�
and
Entit�
Oggetto
ha
scopo
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Oggetto
è un
paziente
di
Entit�
il
tempo
di esistenza di
Entit�
is
uguale
a
Entit�
eventPartlyLocated
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
Near
a
Entit�
vales
durante
Entit�
aumenta
s la verosimiglianza di
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
eventPartlyLocated
Entit�
and
Entit�
Oggetto
è un
paziente
di
Entit�
vales
durante
Entit�
il
tempo
di esistenza di
Entit�
finisce
es il
tempo
di esistenza di
Entit�
(=>
(
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
Oggetto
è un'
istanza
di
FireAlarm
attribute
Oggetto
and
DeviceOn
Oggetto
è
localizzato
in
Oggetto
Processo
Processo
è un'
istanza
di
OndaSonora
Oggetto
è uno
strumento
per
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
Entit�
è
localizzato
in
Oggetto
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Fire
eventLocated
Entit�
and
Oggetto
(=>
(
attribute
?X
Celebrity
)
(
greaterThan
(
exists
(?A)
(
CardinalityFn
(
KappaFn
?A
(
knows
?A
(
exists
(?P)
(
equal
?P ?X)))))) 1000))
Mid-level-ontology.kif 22173-22182
attribute
Oggetto
and
Celebrity
Entit�
il numero di
istanzia
in la
classe
descritta da
Entit�
è
pi
ù grande di 1000
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Entit�
è un'
istanza
di
CommunitySpread
AgenteCognitivo
AgenteCognitivo
conosce
s
Entit�
Entit�
si
originas in
AgenteCognitivo
names
Entit�
and
AgenteCognitivo
(=>
(
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
Entit�Concreta
è un'
istanza
di
FindMyIPhone
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
AppleIPhone
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
non
conosce
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�
Entit�
conosce
s
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�
(=>
(
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
è un'
istanza
di
Phishing
AgenteCognitivo
AgenteCognitivo
,
Processo
and
Formula
Processo
è un'
istanza
di
Comunicazione
Processo
si
originas in
AgenteCognitivo
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AgenteCognitivo
Formula
è un'
istanza
di
Formula
AgenteCognitivo
conosce
s
Formula
AgenteCognitivo
non
desidera
AgenteCognitivo
conosce
s
Formula
AgenteCognitivo
desidera
s
AgenteCognitivo
conosce
s
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
Entit�Concreta
è un'
istanza
di
RTPCRTest
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
EAS
Entit�
è un'
istanza
di
Misurare
Entit�Concreta
NA è un
paziente
di
Entit�
Entit�Concreta
NA è un'
istanza
di
RNAMolecule
la
misura
Entit�Concreta
NA è
Entit�
EAS vales
durante
Entit�
Entit�
conosce
s la
misura
Entit�Concreta
NA è
Entit�
EAS vales
durante
Entit�
(=>
(
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
è un'
istanza
di
Ricercare
AutonomousAgent
Entit�Concreta
and
Oggetto
AutonomousAgent
è un'
istanza
di
AgenteCognitivo
Processo
è un
agente
di
AutonomousAgent
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
Processo
ha &n
scopo
AutonomousAgent
conosce
s
Entit�Concreta
è
localizzato
in
Oggetto
per
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
Entit�
_CTRL è un'
istanza
di
TerminalAttackControl
Entit�
_CTRL ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
RGET
targetInAttack
Entit�
and
Entit�
RGET
Entit�
RGET è un
paziente
di
Entit�
_CTRL
Entit�
_CTRL è un
agente
di
Entit�
Entit�
conosce
s
Entit�
RGET è
localizzato
in
Entit�
è un
risultato
di
Entit�
_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
Entit�
_CTRL è un'
istanza
di
TerminalGuidance
Entit�
_CTRL ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
RGET
targetInAttack
Entit�
and
Entit�
RGET
Entit�
RGET è un
paziente
di
Entit�
_CTRL
Entit�
_CTRL è un
agente
di
Entit�
Entit�
conosce
s
Entit�
RGET è
localizzato
in
Entit�
è un
risultato
di
Entit�
_CTRL
(=>
(
member
?AGNOSTIC
Agnosticism
)
(
not
(
knows
?AGNOSTIC
(
not
(
exists
(?GOD)
(
equal
?GOD
God
))))))
People.kif 691-697
AgenteCognitivo
è un
membro
di
Agnosticism
AgenteCognitivo
non
conosce
Entit�
Entit�
is
uguale
a
God
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
trusts
AgenteCognitivo
,
AutonomousAgent
and
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
agent
AgenteCognitivo
conosce
s
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
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
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
AgenteCognitivo
possiede
es
WebSite
AgenteCognitivo
conosce
s
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