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
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
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
Objet
est une
instance
de
FireAlarm
DeviceOn
est un
attribut
de
objet
objet
est
situ
� �
objet
processus
processus
est une
instance
de
son irradiant
objet
est un
instrument
pour
processus
processus
a pour
but
entit�
entit�
est une
instance
de
GroupOfPeople
entit�
est
situ
� �
objet
entit�
conna
�t
entit�
entit�
est une
instance
de
Fire
eventLocated
entit�
and
objet
(=>
(
attribute
?X
Celebrity
)
(
greaterThan
(
exists
(?A)
(
CardinalityFn
(
KappaFn
?A
(
knows
?A
(
exists
(?P)
(
equal
?P ?X)))))) 1000))
Mid-level-ontology.kif 22173-22182
Celebrity
est un
attribut
de
objet
entit�
le nombre d'
instances
dans la
classe
d�crite par
entit�
est
plus
grand
que 1000
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Entit�
est une
instance
de
CommunitySpread
agent cognitif
agent cognitif
conna
�t
entit�
entit�
a pour
origine
agent cognitif
agent cognitif
s'appele
nom
entit�
(=>
(
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
Physique
est une
instance
de
FindMyIPhone
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
AppleIPhone
physique
est un
instrument
pour
entit�
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
entit�
ne
conna
�t %n{pas}
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
entit�
entit�
conna
�t
entit�
est
situ
� �
entit�
pendant
immediatement
apr
�s
temps
d'existence de
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
Processus
est une
instance
de
Phishing
agent cognitif
agent cognitif
,
processus
and
formule
processus
est une
instance
de
communication
processus
a pour
origine
agent cognitif
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
formule
est une
instance
de
formule
agent cognitif
conna
�t
formule
agent cognitif
ne
desire
%n{pas}
agent cognitif
conna
�t
formule
agent cognitif
desire
agent cognitif
conna
�t
formule
(=>
(
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
Physique
est une
instance
de
RTPCRTest
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
EAS
entit�
est une
instance
de
mesurer
physique
NA est un
patient
de
entit�
physique
NA est une
instance
de
RNAMolecule
la
mesure
de
physique
NA est
entit�
EAS
pendant
entit�
entit�
conna
�t la
mesure
de
physique
NA est
entit�
EAS
pendant
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
Processus
est une
instance
de
Searching
AutonomousAgent
physique
and
objet
AutonomousAgent
est une
instance
de
agent cognitif
processus
est un
agent
de
AutonomousAgent
physique
est une
instance
de
physique
physique
est un
patient
de
processus
objet
est une
instance
de
objet
physique
est
situ
� �
objet
processus
a le
but
AutonomousAgent
conna
�t
physique
est
situ
� �
objet
pour
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 est une
instance
de
TerminalAttackControl
entit�
_CTRL a pour
but
entit�
entit�
,
entit�
and
entit�
RGET
targetInAttack
entit�
and
entit�
RGET
entit�
RGET est un
patient
de
entit�
_CTRL
entit�
_CTRL est un
agent
de
entit�
entit�
conna
�t
entit�
RGET est
situ
� �
entit�
est le
resultat
de
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 est une
instance
de
TerminalGuidance
entit�
_CTRL a pour
but
entit�
entit�
,
entit�
and
entit�
RGET
targetInAttack
entit�
and
entit�
RGET
entit�
RGET est un
patient
de
entit�
_CTRL
entit�
_CTRL est un
agent
de
entit�
entit�
conna
�t
entit�
RGET est
situ
� �
entit�
est le
resultat
de
entit�
_CTRL
(=>
(
member
?AGNOSTIC
Agnosticism
)
(
not
(
knows
?AGNOSTIC
(
not
(
exists
(?GOD)
(
equal
?GOD
God
))))))
People.kif 691-697
Agent cognitif
est un
membre
de
Agnosticism
agent cognitif
ne
conna
�t %n{pas}
entit�
entit�
est
God
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
trusts
agent cognitif
,
AutonomousAgent
and
AutonomousAgent
est
capable
de faire
entit�
dans le r�le
agent
agent cognitif
conna
�t
AutonomousAgent
est
capable
de faire
entit�
dans le r�le
agent
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
possesses
?AGENT ?SITE)
(
knows
?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185
visitorParameter
AutonomousAgent
,
formule
and
WebSite
agent cognitif
agent cognitif
est une
instance
de
agent cognitif
agent cognitif
poss
�de
WebSite
agent cognitif
conna
�t
formule
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