BeginFn
(=>
(
and
(
instance
?FRIGHTEN
Frightening
)
(
experiencer
?FRIGHTEN ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FRIGHTEN))
(
not
(
attribute
?AGENT
Anxiety
)))
(
holdsDuring
(
EndFn
(
WhenFn
?FRIGHTEN))
(
attribute
?AGENT
Anxiety
))))
Mid-level-ontology.kif 18249-18255
Processus
est une
instance
de
Frightening
AutonomousAgent
exp
�rimente
processus
anxiété
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
anxiété
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?G
GainingConsciousness
)
(
experiencer
?G ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?G))
(
attribute
?A
Unconscious
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
attribute
?A
Awake
))))
Mid-level-ontology.kif 16465-16477
Processus
est une
instance
de
GainingConsciousness
AutonomousAgent
exp
�rimente
processus
inconscient
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
r�veill�
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?GRAB
Grabbing
)
(
agent
?GRAB ?AGENT)
(
patient
?GRAB ?THING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?GRAB))
(
not
(
grasps
?AGENT ?THING)))
(
holdsDuring
(
EndFn
(
WhenFn
?GRAB))
(
grasps
?AGENT ?THING))))
Merge.kif 11509-11516
Processus
est une
instance
de
Grabbing
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
ne se
saisit
%n{pas} de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
se
saisit
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
est une
instance
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
TelecomNumber
a pour
but
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
communication
TelecomNumber
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
est
d
�but de immediatement
apr
�s
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
greaterThan
?QUANT2 ?QUANT1))))
Merge.kif 10920-10933
Processus
est une
instance
de
r�chauffer
entit�
est un
patient
de
processus
entit�
nombre r�el
and
nombre r�el
entit�
est une
instance
de
mesure de temperature
entit�
entit�
(s) est
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
entit�
entit�
(s) est
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?HIRE
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?HIRE ?ORG)
(
patient
?HIRE ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?HIRE))
(
not
(
employs
?ORG ?PERSON)))
(
holdsDuring
(
EndFn
(
WhenFn
?HIRE))
(
employs
?ORG ?PERSON))))
Merge.kif 10724-10732
Processus
est une
instance
de
engager
AutonomousAgent
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
n'
emploie
%n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
emploie
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?INSERT
Inserting
)
(
patient
?INSERT ?OBJ1)
(
destination
?INSERT ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?INSERT))
(
not
(
contains
?OBJ2 ?OBJ1)))
(
holdsDuring
(
EndFn
(
WhenFn
?INSERT))
(
contains
?OBJ2 ?OBJ1))))
Merge.kif 11424-11431
Processus
est une
instance
de
Inserting
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
entit�
ne
contient
%n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
contient
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10610-10618
Processus
est une
instance
de
engager
AutonomousAgent
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est un
membre
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
membre
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?PERSON)
(
patient
?JOIN ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10578-10586
Processus
est une
instance
de
adh�rer une organisation
entit�
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
result
?JUDGE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JUDGE))
(
not
(
believes
?AGENT ?P)))
(
holdsDuring
(
EndFn
(
WhenFn
?JUDGE))
(
believes
?AGENT ?P))))
Merge.kif 12092-12106
Processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
ne
croit
%n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
croit
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?PATIENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Living
))
(
holdsDuring
(
FutureFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Dead
))))
Merge.kif 12305-12311
Processus
est une
instance
de
tuer
entit�
est un
patient
de
processus
Living
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Dead
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
Processus
est une
instance
de
LayingEggs
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
Egg
entit�
est un
patient
de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 23805-23820
Processus
est une
instance
de
Lengthening
entit�
est un
patient
de
processus
processus
1
processus
2 and
entit�
entit�
est une
instance
de
UnitOfLength
le
longueur
de
entit�
est
processus
1
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
le
longueur
de
entit�
est
processus
2
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
processus
2 est
plus
grand
que
processus
1
(=>
(
and
(
instance
?L
LosingConsciousness
)
(
experiencer
?L ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
attribute
?A
Awake
))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
attribute
?A
Unconscious
))))
Mid-level-ontology.kif 16484-16494
Processus
est une
instance
de
LosingConsciousness
AutonomousAgent
exp
�rimente
processus
r�veill�
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
inconscient
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?LEARN
Learning
)
(
agent
?LEARN ?AGENT)
(
patient
?LEARN ?PROP))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEARN))
(
not
(
knows
?AGENT ?PROP)))
(
holdsDuring
(
EndFn
(
WhenFn
?LEARN))
(
knows
?AGENT ?PROP))))
Merge.kif 11949-11956
Processus
est une
instance
de
apprendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
ne
conna
�t %n{pas}
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
conna
�t
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?LEAVE
Firing
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?ORG)
(
patient
?LEAVE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?P ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?P ?ORG)))))
Merge.kif 10683-10691
Processus
est une
instance
de
Firing
AutonomousAgent
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est un
membre
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
membre
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?LEAVE
LeavingAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?PERSON ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10651-10659
Processus
est une
instance
de
quitter une organization
entit�
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?LIE
LyingDown
)
(
agent
?LIE ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LIE))
(
attribute
?AGENT
Sitting
))
(
holdsDuring
(
EndFn
(
WhenFn
?LIE))
(
attribute
?AGENT
Prostrate
))))
Mid-level-ontology.kif 19865-19875
Processus
est une
instance
de
LyingDown
processus
est un
agent
de
AutonomousAgent
Sitting
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Prostrate
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
equal
?T1
(
ListOrderFn
?LIST ?N))
(
equal
?T2
(
ListOrderFn
?LIST
(
AdditionFn
?N 1))))
(
equal
(
BeginFn
?T2)
(
EndFn
?T1)))
Weather.kif 1935-1944
Liste
est une
instance
de
ConsecutiveTimeIntervalList
interval temporel
est
entit�
liste
interval temporel
est
nombre entier positif
+ 1)th
liste
le
d
�but de
interval temporel
est
fin
de
interval temporel
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 469-480
Processus
est une
instance
de
Mounting
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est
On
�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est
On
�
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
Processus
est une
instance
de
OrganizationalMerging
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
entit�
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MELT
Melting
)
(
patient
?MELT ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?MELT))
(
attribute
?PART
Solid
))
(
holdsDuring
(
EndFn
(
WhenFn
?MELT))
(
attribute
?PART
Liquid
)))))
Merge.kif 13912-13920
Processus
est une
instance
de
mettre en fusion
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Solid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Liquid
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
D�palcement
est une
instance
de
d�palcement
moves
d�palcement
and
objet
d�palcement
a pour
origine
objet
objet
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
d�palcement
(=>
(
and
(
instance
?MOVE
MovingResidence
)
(
agent
?MOVE ?AGENT))
(
exists
(?HOME1 ?HOME2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME1))
(
holdsDuring
(
EndFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME2))
(
not
(
equal
?HOME1 ?HOME2)))))
Mid-level-ontology.kif 18059-18067
Processus
est une
instance
de
MovingResidence
processus
est un
agent
de
AutonomousAgent
entit�
entit�
le
domicile
de
AutonomousAgent
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
domicile
de
AutonomousAgent
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
(=>
(
and
(
instance
?OPEN
MaximizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MaximizedWindowState
)))))
ComputerInput.kif 2469-2478
Processus
est une
instance
de
MaximizingGraphicalWindow
entit�
est un
patient
de
processus
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_MaximizedWindowState
pendant
la
fin
de
temps
d'existence de
processus
hasGUEState
entit�
and
GUE_MaximizedWindowState
pendant
le
d
�but de
temps
d'existence de
processus
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