Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
overlapsSpatially
Sigma KEE - overlapsSpatially
overlapsSpatially
appearance as argument number 1
(
documentation
overlapsSpatially
ChineseLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2)的意思是
Object
s ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。")
chinese_format.kif 2830-2831
(
documentation
overlapsSpatially
EnglishLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2) means that the
Object
s ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation.")
Merge.kif 4038-4040
(
documentation
overlapsSpatially
JapaneseLanguage
"(
overlapsSpatially
?OBJ1 ?OBJ2) とは、
Object
s ?OBJ1 と ?OBJ2 に共通の部分があることを意味する。これは、反射的で対称的な (ただし推移的 ではない) 関係である。")
japanese_format.kif 1573-1575
(
instance
overlapsSpatially
ReflexiveRelation
)
Merge.kif 4034-4034
overlapsSpatially
e' uma
instancia
de
Relacao Reflexiva
(
instance
overlapsSpatially
SymmetricRelation
)
Merge.kif 4035-4035
overlapsSpatially
e' uma
instancia
de
Relacao Simetrica
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
overlapsSpatially
e' uma
sub
-relacao de
connected
appearance as argument number 2
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9596-9596
meetsSpatially
e
overlapsSpatially
sao
disjuntos
(
format
ChineseLanguage
overlapsSpatially
"%1 和 %2 %n 重叠")
chinese_format.kif 367-367
(
format
EnglishLanguage
overlapsSpatially
"%1 and %2 %n{doesn't}
overlapsSpatially
")
Merge.kif 4036-4036
(
format
FrenchLanguage
overlapsSpatially
"%1 %n{ne} recouvre %n{pas} %2")
french_format.kif 212-212
(
format
ItalianLanguage
overlapsSpatially
"%1 %n{non} si sovrappone%p{s} a %2")
relations-it.txt 207-207
(
format
PortugueseLanguage
overlapsSpatially
"%1 %n{nao} engloba %n %2")
portuguese_format.kif 164-164
(
format
cz
overlapsSpatially
"%1 se %n{ne}p�ekr�v� s %2")
relations-cz.txt 219-219
(
format
de
overlapsSpatially
"%1
de
ckt sich mit %2 raeumlich %n{nicht}")
relations-de.txt 489-489
(
format
hi
overlapsSpatially
"%1 %2 se ativyaapta %n{nahiin} hai")
relations-hindi.txt 245-245
(
format
ro
overlapsSpatially
"%1 %n{nu} overlap%t{se suprapune} cu %2")
relations-ro.kif 232-232
(
format
sv
overlapsSpatially
"%1 överlappar %n{inte} med %2")
relations-sv.txt 229-229
(
format
tg
overlapsSpatially
"%1 %n ay natataklob sa %2")
relations-tg.txt 396-396
(
termFormat
ChineseLanguage
overlapsSpatially
"在空间上重叠")
domainEnglishFormat.kif 43782-43782
(
termFormat
ChineseLanguage
overlapsSpatially
"重叠")
chinese_format.kif 368-368
(
termFormat
ChineseTraditionalLanguage
overlapsSpatially
"在空間上重疊")
domainEnglishFormat.kif 43781-43781
(
termFormat
EnglishLanguage
overlapsSpatially
"overlap spatially")
domainEnglishFormat.kif 43780-43780
(
termFormat
tg
overlapsSpatially
"natataklob")
relations-tg.txt 397-397
antecedent
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9933-9938
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
engloba
Buraco
Objeto auto-conectado
engloba
Objeto auto-conectado
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
Objeto
engloba
Objeto
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
igual
a
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
(=>
(
overlapsSpatially
?OBJ1 ?OBJ2)
(
exists
(?OBJ3)
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))))
Merge.kif 9602-9607
Objeto
engloba
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
consequent
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10054-10059
Objeto
completa
Buraco
Fillable
e' um
atributo
de
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9925-9931
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Buraco
engloba
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9933-9938
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
engloba
Buraco
Objeto auto-conectado
engloba
Objeto auto-conectado
(=>
(
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 2488-2501
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
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2467-2478
Intervalo Temporal
e' uma
instancia
de
Drought
eventLocated
Intervalo Temporal
and
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
Raining
Objeto
e' uma
instancia
de
Regiao
eventLocated
Intervalo Temporal
and
Objeto
Objeto
engloba
Objeto
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1271-1292
Processo
e' uma
instancia
de
DustStorm
Processo
e' uma
instancia
de
Wind
Processo
e' um
sub
-processo de
Processo
Transferencia
Objeto
,
Objeto
,
Objeto
,
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
surfaceWindSpeed
Objeto
and
Numero Real
KnotUnitOfSpeed
(s)
Numero Real
e'
maior
que 30.0
Transferencia
e' uma
instancia
de
Translocation
Transferencia
e' um
sub
-processo de
Processo
objectTransferred
Transferencia
and
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto
e' uma
instancia
de
Sand
Objeto
e' uma
instancia
de
Area terrestre
Transferencia
termina
em
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4055-4059
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
Objeto
engloba
Objeto
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9623-9629
Entidade
e' uma
instancia
de
Role em Caso
Objeto
e' uma
instancia
de
Objeto
Entidade
Fisico
and
Objeto
Ponto no tempo
o lugar onde
Fisico
estava em
Ponto no tempo
engloba
Objeto
(=>
(
and
(
instance
?TORSO
Torso
)
(
instance
?LIMB
Limb
))
(
not
(
overlapsSpatially
?TORSO ?LIMB)))
Mid-level-ontology.kif 12809-12814
Objeto
e' uma
instancia
de
Torso
Objeto
e' uma
instancia
de
Limb
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
Area Geografica
e' uma
instancia
de
MaritimeShelfArea
Objeto
e' uma
instancia
de
ContinentalShelf
AutonomousAgent
e' uma
instancia
de
Nacao
Objeto
encontra
AutonomousAgent
claimedTerritory
Area Geografica
and
AutonomousAgent
Area Geografica
engloba
Objeto
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9615-9621
Objeto
e'
membro
de
Colecao
Objeto
e'
membro
de
Colecao
Objeto
e'
igual
a
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9609-9613
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
engloba
Objeto
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
physicalEnd
Objeto
and
Objeto
physicalEnd
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
coilCount
?WC ?N)
(
exists
(?C ?C2F)
(
and
(
instance
?C
Collection
)
(
memberCount
?C ?N)
(
forall
(?M)
(=>
(
member
?M ?C)
(
and
(
attribute
?M ?C2F)
(
instance
?C2F
ClosedTwoDimensionalFigure
)
(
part
?M ?WC)
(
not
(
exists
(?M2)
(
and
(
overlapsSpatially
?M2 ?M)
(
member
?M2 ?C))))))))))
Cars.kif 3124-3141
coilCount
WireCoil
and
Numero Inteiro
Colecao
Colecao
2F
Colecao
e' uma
instancia
de
Colecao
memberCount
Colecao
and
Numero Inteiro
Objeto
Objeto
e'
membro
de
Colecao
Colecao
2F e' um
atributo
de
Objeto
Colecao
2F e' uma
instancia
de
ClosedTwoDimensionalFigure
Objeto
e' uma &parte de
WireCoil
Objeto
2
Objeto
2
engloba
Objeto
Objeto
2 e'
membro
de
Colecao
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9531-9535
Objeto
e'
conectado
com
Objeto
Objeto
encontra
Objeto
Objeto
engloba
Objeto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10108-10115
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
Objeto
engloba
Objeto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10098-10106
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
engloba
Objeto
Objeto
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9902-9905
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
nao
engloba
%n
Objeto auto-conectado
(=>
(
instance
?AREOLE
PlantAreole
)
(
exists
(?CAC ?SPINE)
(
and
(
instance
?CAC
Cactus
)
(
instance
?SPINE
PlantSpinoseStructure
)
(
part
?SPINE
Cactus
)
(
overlapsSpatially
?SPINE ?AREOLE))))
Mid-level-ontology.kif 9615-9622
Objeto
e' uma
instancia
de
PlantAreole
Entidade
Objeto
Entidade
e' uma
instancia
de
Cactus
Objeto
e' uma
instancia
de
PlantSpinoseStructure
Objeto
e' uma &parte de
Cactus
Objeto
engloba
Objeto
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 6096-6102
Objeto
e' uma
instancia
de
ContinentalShelf
Objeto
Objeto
e' uma
instancia
de
ContinentalMargin
Objeto
e' uma &parte de
Objeto
Objeto
engloba
Objeto
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10990-10997
Objeto
e' uma
instancia
de
Skin
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Animal
Objeto
engloba
Objeto auto-conectado
(=>
(
instance
?WATER
Estuary
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
overlapsSpatially
?MOUTH ?WATER))))
Geography.kif 5202-5207
Objeto
e' uma
instancia
de
Estuary
Objeto
Objeto
e' uma
instancia
de
RiverMouth
Objeto
engloba
Objeto
(=>
(
instance
?plateau
Plateau
)
(
exists
(?slope)
(
and
(
instance
?slope
SlopedArea
)
(
attribute
?slope
SteepTerrain
)
(
overlapsSpatially
?slope ?plateau))))
Geography.kif 4146-4152
Objeto
e' uma
instancia
de
Plateau
Objeto
Objeto
e' uma
instancia
de
SlopedArea
SteepTerrain
e' um
atributo
de
Objeto
Objeto
engloba
Objeto
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9721-9727
Objeto
e' uma parte
interior
de
Objeto
Objeto
Objeto
e' uma parte
superficial
de
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
Objeto
encontra
Objeto
Objeto
nao
engloba
%n
Objeto
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
overlapsSpatially
Africa
NorthernHemisphere
)
Geography.kif 3523-3523
Africa
engloba
NorthernHemisphere
(
overlapsSpatially
Africa
SouthernHemisphere
)
Geography.kif 3524-3524
Africa
engloba
SouthernHemisphere
(
overlapsSpatially
Antarctica
EasternHemisphere
)
Geography.kif 3540-3540
Antarctica
engloba
EasternHemisphere
(
overlapsSpatially
Antarctica
WesternHemisphere
)
Geography.kif 3541-3541
Antarctica
engloba
WesternHemisphere
(
overlapsSpatially
ArcticOcean
ArcticRegion
)
Geography.kif 3584-3584
ArcticOcean
engloba
ArcticRegion
(
overlapsSpatially
ArcticRegion
EasternHemisphere
)
Geography.kif 3582-3582
ArcticRegion
engloba
EasternHemisphere
(
overlapsSpatially
ArcticRegion
WesternHemisphere
)
Geography.kif 3583-3583
ArcticRegion
engloba
WesternHemisphere
(
overlapsSpatially
Asia
NorthernHemisphere
)
Geography.kif 3550-3550
Asia
engloba
NorthernHemisphere
(
overlapsSpatially
Asia
SouthernHemisphere
)
Geography.kif 3551-3551
Asia
engloba
SouthernHemisphere
(
overlapsSpatially
CaribbeanRegion
NorthAmerica
)
Geography.kif 167-167
CaribbeanRegion
engloba
NorthAmerica
(
overlapsSpatially
CaribbeanRegion
SouthAmerica
)
Geography.kif 166-166
CaribbeanRegion
engloba
SouthAmerica
(
overlapsSpatially
CentralAfrica
NorthernHemisphere
)
Geography.kif 187-187
CentralAfrica
engloba
NorthernHemisphere
(
overlapsSpatially
CentralAfrica
SouthernHemisphere
)
Geography.kif 188-188
CentralAfrica
engloba
SouthernHemisphere
(
overlapsSpatially
EasternAfrica
NorthernHemisphere
)
Geography.kif 191-191
EasternAfrica
engloba
NorthernHemisphere
(
overlapsSpatially
EasternAfrica
SouthernHemisphere
)
Geography.kif 192-192
EasternAfrica
engloba
SouthernHemisphere
(
overlapsSpatially
EasternSouthAmerica
NorthernHemisphere
)
Geography.kif 242-242
EasternSouthAmerica
engloba
NorthernHemisphere
(
overlapsSpatially
EasternSouthAmerica
SouthernHemisphere
)
Geography.kif 243-243
EasternSouthAmerica
engloba
SouthernHemisphere
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
Europe
engloba
EasternHemisphere
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
Europe
engloba
WesternHemisphere
(
overlapsSpatially
MiddleAmerica
NorthAmerica
)
Geography.kif 168-168
MiddleAmerica
engloba
NorthAmerica
(
overlapsSpatially
MiddleAmerica
SouthAmerica
)
Geography.kif 169-169
MiddleAmerica
engloba
SouthAmerica
(
overlapsSpatially
MiddleEastRegion
Asia
)
Geography.kif 146-146
MiddleEastRegion
engloba
Asia
(
overlapsSpatially
NorthernAfrica
EasternHemisphere
)
Geography.kif 194-194
NorthernAfrica
engloba
EasternHemisphere
(
overlapsSpatially
NorthernAfrica
WesternHemisphere
)
Geography.kif 195-195
NorthernAfrica
engloba
WesternHemisphere
(
overlapsSpatially
NorthernSouthAmerica
NorthernHemisphere
)
Geography.kif 246-246
NorthernSouthAmerica
engloba
NorthernHemisphere
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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