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 18248-18254
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 16464-16476
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 11531-11538
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 25092-25113
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 10942-10955
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 10746-10754
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 11446-11453
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 10632-10640
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 10600-10608
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 12114-12128
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 12327-12333
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 24115-24128
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 23804-23819
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 16483-16493
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 11971-11978
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 10705-10713
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 10673-10681
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 19864-19874
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 1931-1940
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 16304-16323
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 13934-13942
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 11058-11063
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 18058-18066
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