BeginFn
(=>
(
and
(
instance
?OPEN
MinimizingGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2451-2460
Processo
e' uma
instancia
de
MinimizingGraphicalWindow
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
fim
de
tempo
de existencia de
Processo
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
comeco
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?OPEN
ReopeningGraphicalWindow
)
(
patient
?OPEN ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?OPEN))
(
hasGUEState
?WINDOW
GUE_MinimizedState
))
(
holdsDuring
(
EndFn
(
WhenFn
?OPEN))
(
not
(
hasGUEState
?WINDOW
GUE_MinimizedState
)))))
ComputerInput.kif 2389-2398
Processo
e' uma
instancia
de
ReopeningGraphicalWindow
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
InterfaceWindow
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
comeco
de
tempo
de existencia de
Processo
hasGUEState
Entidade
and
GUE_MinimizedState
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
Intervalo Temporal
e' uma
instancia
de
Pulling
Intervalo Temporal
tem como
origem
Objeto
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
AutonomousAgent
LOC
vale
durante o
comeco
de
Intervalo Temporal
Intervalo Temporal
termina
em
Entidade
Entidade
Entidade
and
Entidade
a
distancia
entre
AutonomousAgent
LOC e
Entidade
e'
Entidade
Entidade
(s) a
distancia
entre
AutonomousAgent
LOC e
Objeto
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante imediatemente
apos
o
comeco
de
Intervalo Temporal
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
Intervalo Temporal
e' uma
instancia
de
Pushing
Intervalo Temporal
tem como
origem
Objeto
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
AutonomousAgent
LOC
vale
durante o
comeco
de
Intervalo Temporal
Intervalo Temporal
termina
em
Entidade
Entidade
Entidade
and
Entidade
a
distancia
entre
AutonomousAgent
LOC e
Entidade
e'
Entidade
Entidade
(s) a
distancia
entre
AutonomousAgent
LOC e
Objeto
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante imediatemente
apos
o
comeco
de
Intervalo Temporal
(=>
(
and
(
instance
?P
TurningOffDevice
)
(
patient
?P ?D))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?P))
(
attribute
?D
DeviceOn
))
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?D
DeviceOff
))))
Mid-level-ontology.kif 1071-1081
Processo
e' uma
instancia
de
TurningOffDevice
Entidade
e' um
patient
de
Processo
DeviceOn
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
DeviceOff
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?P
TurningOnDevice
)
(
patient
?P ?D))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?P))
(
attribute
?D
DeviceOff
))
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?D
DeviceOn
))))
Mid-level-ontology.kif 1095-1105
Processo
e' uma
instancia
de
TurningOnDevice
Entidade
e' um
patient
de
Processo
DeviceOff
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
DeviceOn
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?PASS
PassingABill
)
(
patient
?PASS ?TEXT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PASS))
(
attribute
?TEXT
LegislativeBill
))
(
holdsDuring
(
EndFn
(
WhenFn
?PASS))
(
attribute
?TEXT
Law
))))
Mid-level-ontology.kif 13826-13832
Processo
e' uma
instancia
de
PassingABill
Entidade
e' um
patient
de
Processo
LegislativeBill
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Law
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Proposicao
e' uma
instancia
de
Plano
Fisico
e' uma
instancia
de
Processo
Proposicao
define
Fisico
Proposicao
NING
ContentBearingPhysical
Proposicao
NING e' uma
instancia
de
Planejar
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' o
resultado
de
Proposicao
NING o
comeco
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
comeco
de
tempo
de existencia de
Fisico
o
fim
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
fim
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
and
(
equal
(
BeginFn
?INTERVAL) ?POINT1)
(
equal
(
EndFn
?INTERVAL) ?POINT2)))
Merge.kif 8420-8428
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
e'
igual
a
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
o
fim
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
(=>
(
and
(
instance
?PROCESS
StateChange
)
(
patient
?PROCESS ?OBJ))
(
exists
(?PART ?STATE1 ?STATE2)
(
and
(
part
?PART ?OBJ)
(
instance
?STATE1
PhysicalState
)
(
instance
?STATE2
PhysicalState
)
(
not
(
equal
?STATE1 ?STATE2))
(
holdsDuring
(
BeginFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROCESS))
(
attribute
?PART ?STATE2)))))
Merge.kif 13756-13767
Processo
e' uma
instancia
de
Mudanca de Estado
Objeto
e' um
patient
de
Processo
Objeto
Entidade
and
Entidade
Objeto
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Estado Fisico
Entidade
e' uma
instancia
de
Estado Fisico
Entidade
e'
igual
a
Entidade
Entidade
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?PUT
Putting
)
(
destination
?PUT ?PLACE)
(
patient
?PUT ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PUT))
(
not
(
located
?OBJ ?PLACE)))
(
holdsDuring
(
EndFn
(
WhenFn
?PUT))
(
located
?OBJ ?PLACE))))
Merge.kif 11405-11412
Processo
e' uma
instancia
de
Colocar
Processo
termina
em
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?R
PoliticalRevolution
)
(
patient
?R ?A))
(
exists
(?GOV1 ?GOV2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
equal
?GOV1
(
GovernmentFn
?A)))
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
equal
?GOV2
(
GovernmentFn
?A)))
(
not
(
equal
?GOV1 ?GOV2)))))
Mid-level-ontology.kif 13888-13900
Processo
e' uma
instancia
de
PoliticalRevolution
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
e'
igual
a o
governo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
igual
a o
governo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
?R
RecoveringFromIllness
)
(
experiencer
?R ?A))
(
exists
(?D)
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
attribute
?A ?D))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
attribute
?A ?D))))))
Mid-level-ontology.kif 6252-6265
Processo
e' uma
instancia
de
RecoveringFromIllness
AutonomousAgent
experimenta
Processo
Fisico
Fisico
e' uma
instancia
de
Doenca ou Sindrome
Fisico
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Fisico
Fisico
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?R
Rotating
)
(
patient
?R ?A))
(
exists
(?L)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
located
?A ?L))
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
located
?A ?L)))))
Mid-level-ontology.kif 17445-17456
Processo
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e'
situado
em
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?RELEASE
Releasing
)
(
agent
?GRAB ?AGENT)
(
patient
?GRAB ?THING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?RELEASE))
(
grasps
?AGENT ?THING))
(
holdsDuring
(
EndFn
(
WhenFn
?RELEASE))
(
not
(
grasps
?AGENT ?THING)))))
Merge.kif 11524-11531
Fisico
e' uma
instancia
de
Releasing
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
segura
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Fisico
AutonomousAgent
nao
segura
%n de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?RELEASE
Ungrasping
)
(
agent
?GRAB ?AGENT)
(
patient
?GRAB ?THING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?RELEASE))
(
grasps
?AGENT ?THING))
(
holdsDuring
(
EndFn
(
WhenFn
?RELEASE))
(
not
(
grasps
?AGENT ?THING)))))
Merge.kif 12447-12454
Fisico
e' uma
instancia
de
Ungrasping
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
segura
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Fisico
AutonomousAgent
nao
segura
%n de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?PLACE)
(
patient
?REMOVE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?REMOVE))
(
located
?OBJ ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?REMOVE))
(
not
(
located
?OBJ ?PLACE)))))
Merge.kif 11384-11391
Processo
e' uma
instancia
de
Remover
Processo
tem como
origem
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?REMOVE
RemovingClothing
)
(
agent
?REMOVE ?AGENT)
(
patient
?REMOVE ?CLOTHING))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?REMOVE))
(
wears
?AGENT ?CLOTHING))
(
holdsDuring
(
EndFn
(
WhenFn
?REMOVE))
(
not
(
wears
?AGENT ?CLOTHING)))))
Mid-level-ontology.kif 5538-5549
Processo
e' uma
instancia
de
RemovingClothing
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
usa
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
nao
usa
%n
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?S
Saving
)
(
patient
?S ?O)
(
agent
?S ?A))
(
exists
(?Q1 ?Q2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q2 ?U)))
(
possesses
?A ?O)
(
lessThan
?Q1 ?Q2))))
Mid-level-ontology.kif 23828-23845
Processo
e' uma
instancia
de
Saving
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfCurrency
o
valor
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
valor
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Objeto
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?S
Shortening
)
(
patient
?S ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L1 ?L2))))
Mid-level-ontology.kif 17208-17223
Processo
e' uma
instancia
de
Shortening
Entidade
e' um
patient
de
Processo
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
comprimento
de
Entidade
e'
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?S
Somersaulting
)
(
agent
?S ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
attribute
?A
Sitting
))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
attribute
?A
Sitting
))))
Mid-level-ontology.kif 562-572
Processo
e' uma
instancia
de
Somersaulting
Processo
e' um
agente
de
AutonomousAgent
Sitting
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Sitting
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SELECT
SelectingActiveArea
)
(
patient
?SELECT ?ELEMENT)
(
instance
?ELEMENT
GUIActiveArea
))
(
holdsDuring
(
BeginFn
?SELECT)
(
not
(
hasGUEState
?ELEMENT
GUE_SelectedState
))))
ComputerInput.kif 2203-2210
Intervalo Temporal
e' uma
instancia
de
SelectingActiveArea
Entidade
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
GUIActiveArea
hasGUEState
Entidade
and
GUE_SelectedState
vale
durante o
comeco
de
Intervalo Temporal
(=>
(
and
(
instance
?SIT
SittingDown
)
(
agent
?SIT ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?SIT))
(
attribute
?AGENT
Standing
))
(
holdsDuring
(
EndFn
(
WhenFn
?SIT))
(
attribute
?AGENT
Sitting
))))
Mid-level-ontology.kif 19910-19920
Processo
e' uma
instancia
de
SittingDown
Processo
e' um
agente
de
AutonomousAgent
Standing
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Sitting
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?STAND
StandingUp
)
(
agent
?STAND ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?STAND))
(
attribute
?AGENT
Sitting
))
(
holdsDuring
(
EndFn
(
WhenFn
?STAND))
(
attribute
?AGENT
Standing
))))
Mid-level-ontology.kif 19927-19937
Processo
e' uma
instancia
de
StandingUp
Processo
e' um
agente
de
AutonomousAgent
Sitting
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Standing
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SU
SoftwareUpgrading
)
(
patient
?SU ?C)
(
instance
?C
Computer
))
(
exists
(?P)
(
and
(
objectTransferred
?SU ?P)
(
instance
?P
ComputerProgram
)
(
holdsDuring
(
BeginFn
(
WhenFn
?SU)
(
softwareVersion
?P
PreviousVersion
)))
(
holdsDuring
(
EndFn
(
WhenFn
?SU)
(
softwareVersion
?P
CurrentVersion
))))))
ComputingBrands.kif 3826-3840
Transferencia
e' uma
instancia
de
SoftwareUpgrading
Entidade
e' um
patient
de
Transferencia
Entidade
e' uma
instancia
de
Computer
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Programa de Computador
vale
durante o
comeco
de
tempo
de existencia de
Transferencia
vale
durante o
fim
de
tempo
de existencia de
Transferencia
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