EndFn
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
e' uma
instancia
de
CurdlingMilk
Fisico
e' uma
instancia
de
Milk
Fisico
e' um
patient
de
Processo
Numero Real
Processo
,
Entidade
and
Entidade
a
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Processo
e' uma
instancia
de
Diminuir
Processo
e' um
sub
-processo de
Processo
Numero Real
e' um
patient
de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 17112-17117
Processo
e' uma
instancia
de
Catching
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
segura
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11656-11666
Processo
e' uma
instancia
de
Mudanca de Dono
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Objeto
possui
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
possui
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 12599-12610
Processo
e' uma
instancia
de
Mudanca Interna
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CLOSE
ClosingGraphicalWindow
)
(
patient
?CLOSE ?WINDOW))
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
time
?WINDOW
(
BeginFn
(
WhenFn
?OPEN)))
(
not
(
time
?WINDOW
(
EndFn
(
WhenFn
?OPEN))))))
ComputerInput.kif 2438-2445
Processo
e' uma
instancia
de
ClosingGraphicalWindow
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
InterfaceWindow
Fisico
existe
durante
o
comeco
de
tempo
de existencia de
Fisico
Fisico
nao existe %n
durante
o
fim
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12636-12650
Processo
e' uma
instancia
de
Colorir
Objeto
e' um
patient
de
Processo
Entidade
Objeto
Objeto
e' uma &parte de
Objeto
Entidade
e' uma
instancia
de
Atributo de Cor
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
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
?COND
Condensing
)
(
patient
?COND ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?COND))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?COND))
(
attribute
?PART
Liquid
)))))
Merge.kif 13979-13987
Processo
e' uma
instancia
de
Condensar
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Gas
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
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10961-10974
Processo
e' uma
instancia
de
Resfriar
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'
menos
que
Numero Real
(=>
(
and
(
instance
?COVERING
CoveringGUIElement
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
or
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2597-2607
Intervalo Temporal
e' uma
instancia
de
CoveringGUIElement
Intervalo Temporal
e' um
agente
de
Entidade
_TOP
Entidade
_BOTTOM e' um
patient
de
Intervalo Temporal
Entidade
_TOP e' uma
instancia
de
GUIElement
Entidade
_BOTTOM e' uma
instancia
de
GUIElement
guiElementCoveredBy
Entidade
_BOTTOM and
Entidade
_TOP
guiElementPartiallyCoveredBy
Entidade
_BOTTOM and
Entidade
_TOP
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?COVERING
PartiallyCoveringGraphicalWindow
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)))
ComputerInput.kif 2609-2617
Intervalo Temporal
e' uma
instancia
de
PartiallyCoveringGraphicalWindow
Intervalo Temporal
e' um
agente
de
Entidade
_TOP
Entidade
_BOTTOM e' um
patient
de
Intervalo Temporal
Entidade
_TOP e' uma
instancia
de
GUIElement
Entidade
_BOTTOM e' uma
instancia
de
GUIElement
guiElementPartiallyCoveredBy
Entidade
_BOTTOM and
Entidade
_TOP
vale
durante o
fim
de
Intervalo Temporal
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17171-17191
Processo
e' uma
instancia
de
Decelerating
Processo
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
,
Numero Real
,
Numero Real
,
Entidade
and
Entidade
a
medida
de
AutonomousAgent
e'
Numero Real
Entidade
(s)
por
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
a
medida
de
AutonomousAgent
e'
Numero Real
Entidade
(s)
por
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
Processo
e' uma
instancia
de
Dismounting
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
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Solid
))
(
not
(
holdsDuring
(
WhenFn
?DEPOSITION)
(
attribute
?PART
Liquid
))))))
Geography.kif 6997-7014
Processo
e' uma
instancia
de
Deposition
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Gas
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Solid
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
Liquid
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2492-2505
Processo
e' uma
instancia
de
Desertification
eventLocated
Processo
and
Objeto
Entidade
Entidade
Entidade
e' uma
instancia
de
ArableLand
Entidade
e' uma
instancia
de
Desert
Objeto
engloba
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Objeto
engloba
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12408-12415
Processo
e' uma
instancia
de
Descolar
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
conectado
com
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DRESS
Dressing
)
(
agent
?DRESS ?AGENT)
(
patient
?DRESS ?CLOTHING))
(
and
(
instance
?CLOTHING
Clothing
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DRESS))
(
not
(
wears
?AGENT ?CLOTHING)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRESS))
(
wears
?AGENT ?CLOTHING))))
Mid-level-ontology.kif 5503-5518
Processo
e' uma
instancia
de
Dressing
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Roupa
AutonomousAgent
nao
usa
%n
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
usa
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DRILL
Drilling
)
(
patient
?DRILL ?OBJ))
(
exists
(?HOLE)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DRILL))
(
not
(
hole
?HOLE ?OBJ)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRILL))
(
hole
?HOLE ?OBJ)))))
Mid-level-ontology.kif 18099-18106
Processo
e' uma
instancia
de
Drilling
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e' um
buraco
dans
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
buraco
dans
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DRY
Drying
)
(
patient
?DRY ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?DRY))
(
attribute
?OBJ
Dry
)))
Merge.kif 12777-12782
Processo
e' uma
instancia
de
Secar
Entidade
e' um
patient
de
Processo
Dry
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13953-13966
Processo
e' uma
instancia
de
Evaporating
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Substancia Pura
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Numero Real
e'
maior
que
Numero Real
Liquid
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Gas
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area Geopolitica
Processo
termina
em
Entidade
Entidade
e'
situado
em
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Area Geopolitica
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
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Entidade
e'
situado
em
Area Geopolitica
vale
durante o
comeco
de
tempo
de existencia de
Processo
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
sub-divisao geopolitica sub-divisao geopolitica
Entidade
e'
situado
em
Area Geopolitica
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17585-17600
Processo
e' uma
instancia
de
Flooding
eventLocated
Processo
and
Objeto
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?F
FourStrokeCompression
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
attribute
?I
Pressurized
)))
Cars.kif 191-200
Processo
e' uma
instancia
de
FourStrokeCompression
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Pressurized
e' um
atributo
de
Buraco
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?FIRE
TerminatingEmployment
)
(
instance
?ORG
Organization
)
(
agent
?FIRE ?ORG)
(
patient
?FIRE ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FIRE))
(
employs
?ORG ?PERSON))
(
holdsDuring
(
EndFn
(
WhenFn
?FIRE))
(
not
(
employs
?ORG ?PERSON)))))
Merge.kif 10740-10748
Processo
e' uma
instancia
de
Despedir
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
emprega
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
nao
emprega
%n
Entidade
vale
durante o
fim
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