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
Processo
e' uma
instancia
de
Frightening
AutonomousAgent
experimenta
Processo
Anxiety
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Anxiety
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
GainingConsciousness
AutonomousAgent
experimenta
Processo
Inconsciente
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Grabbing
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
nao
segura
%n de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
segura
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
e' uma
instancia
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
TelecomNumber
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Communicacao
TelecomNumber
e' um
instrumento
para
Entidade
o
comeco
de
tempo
de existencia de
Entidade
e'
igual
a o
comeco
de imediatemente
apos
tempo
de existencia de
Entidade
tem a
forca
modal
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
Processo
e' uma
instancia
de
Aquecer
Entidade
e' um
patient
de
Processo
Entidade
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Medida de Temperatura
Entidade
Entidade
(s) e'
igual
a
Numero Real
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
Entidade
(s) e'
igual
a
Numero Real
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Empregar
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
nao
emprega
%n
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
emprega
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Inserting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
nao
contem
%n
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
contem
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Empregar
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e'
membro
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
membro
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Juntar-se a uma Organizacao
Entidade
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
AutonomousAgent
acredita
que
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
acredita
que
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Matar
Entidade
e' um
patient
de
Processo
Living
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Dead
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
LayingEggs
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Egg
Entidade
e' um
patient
de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Lengthening
Entidade
e' um
patient
de
Processo
Processo
1
Processo
2 and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
o
comprimento
de
Entidade
e'
Processo
1
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Processo
2
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Processo
2 e'
maior
que
Processo
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
Processo
e' uma
instancia
de
LosingConsciousness
AutonomousAgent
experimenta
Processo
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Inconsciente
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Aprender
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
nao
sabe
%n
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
sabe
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Firing
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e'
membro
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
membro
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Deixar uma Organizacao
Entidade
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
LyingDown
Processo
e' um
agente
de
AutonomousAgent
Sitting
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Prostrate
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Lista
e' uma
instancia
de
ConsecutiveTimeIntervalList
Intervalo Temporal
e'
igual
a
Entidade
elemento
de
Lista
Intervalo Temporal
e'
igual
a (
Inteiro positivo
+ 1)th
elemento
de
Lista
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
Mounting
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
On
em relacao a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
On
em relacao a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
OrganizationalMerging
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
igual
a
Entidade
Entidade
Entidade
e' uma parte da organizacao
Entidade
Entidade
e' uma parte da organizacao
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
Entidade
e' uma parte da organizacao
Entidade
Entidade
e' uma parte da organizacao
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Derreter
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Solid
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Liquid
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
Movimento
e' uma
instancia
de
Movimento
moves
Movimento
and
Objeto
Movimento
tem como
origem
Objeto
Objeto
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Movimento
(=>
(
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
Processo
e' uma
instancia
de
MovingResidence
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
a
casa
de
AutonomousAgent
e'
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
a
casa
de
AutonomousAgent
e'
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
(=>
(
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
Processo
e' uma
instancia
de
MaximizingGraphicalWindow
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_MaximizedWindowState
vale
durante o
fim
de
tempo
de existencia de
Processo
hasGUEState
Entidade
and
GUE_MaximizedWindowState
vale
durante o
comeco
de
tempo
de existencia de
Processo
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