BeginFn
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
Processo
e' uma
instancia
de
Ferver
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
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
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23768-23779
Processo
e' uma
instancia
de
CausingHappiness
Entidade
e' um
patient
de
Processo
Happiness
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Happiness
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23789-23800
Processo
e' uma
instancia
de
CausingUnhappiness
Entidade
e' um
patient
de
Processo
Unhappiness
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Unhappiness
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
Processo
e' uma
instancia
de
ChurningButter
Entidade
e' uma
instancia
de
Emulsion
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Milk
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Butter
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
?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
?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
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
Processo
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Area Geografica
Processo
e' um
agente
de
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo
geographicSubregion
Area Geografica
and o lugar onde
Processo
estava em o
comeco
de
tempo
de existencia de
Processo
Processo
causa
Processo
Agente Cognitivo
acredita
que
Dangerous
e' um
atributo
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
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
Processo
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area Geopolitica
Processo
tem como
origem
Objeto
Entidade
e'
situado
em
Objeto
vale
durante o
comeco
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
?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
(=>
(
and
(
instance
?FLYING
Flying
)
(
patient
?FLYING ?ALM)
(
instance
?ALM
AirLaunchMissile
))
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
holdsDuring
(
BeginFn
(
WhenFn
?FLYING))
(
located
?ALM ?REGION)))))
MilitaryDevices.kif 944-955
Processo
e' uma
instancia
de
Flying
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
AirLaunchMissile
Entidade
Entidade
e' uma
instancia
de
AtmosphericRegion
Entidade
e'
situado
em
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Solid
)))))
Merge.kif 14000-14008
Processo
e' uma
instancia
de
Congelar
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Liquid
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
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