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
connects
Sigma KEE - connects
connects
appearance as argument number 1
(
documentation
connects
ChineseLanguage
"这是一个联系三样东西的关系,它出现在当三样东西之中的一个把 另外的两个联系起来的时候,更正规的说,(
connects
?OBJ1 ?OBJ2 ?OBJ3)的意思是 (
connected
?OBJ1 ?OBJ2)和(
connected
?OBJ1 ?OBJ3),而不是(
connected
?OBJ2 ?OBJ3)。")
chinese_format.kif 2825-2827
(
documentation
connects
EnglishLanguage
"The relationship between three things, when one of the three things connects the other two. More formally, (
connects
?OBJ1 ?OBJ2 ?OBJ3) means that (
connected
?OBJ1 ?OBJ2) and (
connected
?OBJ1 ?OBJ3) and not (
connected
?OBJ2 ?OBJ3).")
Merge.kif 9555-9558
(
documentation
connects
JapaneseLanguage
"3つの物事の関係は、3つのうちの1つが他の2つを接続 するときである。より正式には、(
connects
?OBJ1 ?OBJ2 ?OBJ3) とは、 (
connected
?OBJ1 ?OBJ2) および (
connected
?OBJ1 ?OBJ3) で、(
connected
?OBJ2 ?OBJ3) ではない、という意味である。")
japanese_format.kif 1567-1569
(
domain
connects
1
Object
)
Merge.kif 9551-9551
O argumento numero 1 de
connects
e' uma
instancia
de
Objeto
(
domain
connects
2
Object
)
Merge.kif 9552-9552
O argumento numero 2 de
connects
e' uma
instancia
de
Objeto
(
domain
connects
3
Object
)
Merge.kif 9553-9553
O argumento numero 3 de
connects
e' uma
instancia
de
Objeto
(
instance
connects
SpatialRelation
)
Merge.kif 9549-9549
connects
e' uma
instancia
de
Relacao Espacial
(
instance
connects
TernaryPredicate
)
Merge.kif 9550-9550
connects
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
format
ChineseLanguage
connects
"%1 %n{doesn't}
connects
%2 和 %3")
chinese_format.kif 363-363
(
format
EnglishLanguage
connects
"%1 %n{doesn't} connect%p{s} %2 and %3")
english_format.kif 366-366
(
format
FrenchLanguage
connects
"%1 %n{ne} relie %n{pas} %2 et %3")
french_format.kif 210-210
(
format
ItalianLanguage
connects
"%1 connette %2 e %3")
relations-it.txt 54-54
(
format
JapaneseLanguage
connects
"%1 は %2 と %3 に connect%p{s} %n{ない}")
japanese_format.kif 2017-2017
(
format
PortugueseLanguage
connects
"%1 %n{nao} conecta %n %2 e %3")
portuguese_format.kif 162-162
(
format
cb
connects
"%1 ikabit %2 ug %3")
relations-cb.txt 88-88
(
format
cz
connects
"%1 %n{ne}spojuje %2 a %3")
relations-cz.txt 217-217
(
format
de
connects
"%1 schleisst %2 und %3 an")
relations-de.txt 483-483
(
format
hi
connects
"%1 %2 aura %3 ko jodataa hai")
relations-hindi.txt 95-95
(
format
ro
connects
"%1 %n{nu} connect%t{îmbinã} %2 ºi %3")
relations-ro.kif 230-230
(
format
sv
connects
"%1 sammanlänkar %n{inte} %2 och %3")
relations-sv.txt 227-227
(
format
tg
connects
"%1 nagkakabit %2 at %3")
relations-tg.txt 124-124
(
subrelation
connectsEngineeringComponents
connects
)
Merge.kif 16179-16179
connectsEngineeringComponents
e' uma
sub
-relacao de
connects
(
termFormat
ChineseLanguage
connects
"连接")
chinese_format.kif 364-364
(
termFormat
ChineseTraditionalLanguage
connects
"連接")
domainEnglishFormat.kif 16661-16661
(
termFormat
EnglishLanguage
connects
"connects")
domainEnglishFormat.kif 16660-16660
(
termFormat
tg
connects
"nagkakabit")
relations-tg.txt 125-125
antecedent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 2870-2876
Objeto
conecta
Objeto
e
Objeto
abstractCounterpart
No' do Grafo
and
Objeto
abstractCounterpart
No' do Grafo
and
Objeto
abstractCounterpart
Objeto
RC and
Objeto
Objeto
RC
liga
No' do Grafo
e
No' do Grafo
(=>
(
and
(
instance
?body1
BodyOfWater
)
(
instance
?body2
BodyOfWater
)
(
connects
?strait ?body1 ?body2))
(
larger
?body1 ?strait))
Geography.kif 5305-5310
Objeto
e' uma
instancia
de
BodyOfWater
Objeto
e' uma
instancia
de
BodyOfWater
Objeto
conecta
Objeto
e
Objeto
Objeto
e'
maior
do que
Objeto
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9584-9586
Objeto
conecta
Objeto
e
Objeto
Objeto
conecta
Objeto
e
Objeto
(=>
(
connects
?BETWEEN ?END1 ?END2)
(
not
(
equal
?END1 ?END2)))
Geography.kif 5288-5290
Objeto
conecta
Objeto
e
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9568-9574
Objeto
conecta
Objeto
e
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
between
?OBJ2 ?OBJ1 ?OBJ3))
Merge.kif 9560-9562
Objeto
conecta
Objeto
e
Objeto
Objeto
esta'
entre
Objeto
e
Objeto
consequent
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9576-9582
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
conecta
Objeto
e
Objeto
(=>
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING))
(
exists
(?STEPS)
(
and
(
instance
?STEPS
Steps
)
(
connects
?STEPS ?LEVEL1 ?LEVEL2))))
Mid-level-ontology.kif 15096-15106
Objeto
e' uma
instancia
de
BuildingLevel
Objeto
e' uma
instancia
de
BuildingLevel
Objeto
e' uma
instancia
de
Predio
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
Steps
Objeto
conecta
Objeto
e
Objeto
(=>
(
and
(
instance
?POKE
Poking
)
(
agent
?POKE ?AGENT)
(
patient
?POKE ?OBJ)
(
instrument
?POKE ?INST))
(
holdsDuring
(
WhenFn
?POKE)
(
connects
?INST ?AGENT ?OBJ)))
Merge.kif 12357-12363
Processo
e' uma
instancia
de
Cutucar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
conecta
AutonomousAgent
e
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?S
Soldering
)
(
patient
?S ?OBJ1)
(
patient
?S ?OBJ2)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
exists
(?A)
(
and
(
instance
?A
MetallicAlloy
)
(
connects
?A ?OBJ1 ?OBJ2))))
Mid-level-ontology.kif 5629-5638
Processo
e' uma
instancia
de
Soldering
Objeto
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e'
igual
a
Objeto
Objeto
Objeto
e' uma
instancia
de
MetallicAlloy
Objeto
conecta
Objeto
e
Objeto
(=>
(
and
(
instance
?S
Stairway
)
(
part
?S ?B)
(
instance
?B
Building
))
(
hasPurpose
?S
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
BuildingLevel
)
(
instance
?L2
BuildingLevel
)
(
part
?L1 ?B)
(
part
?L2 ?B)
(
connects
?S ?L1 ?L2)))))
Mid-level-ontology.kif 15072-15084
Objeto
e' uma
instancia
de
Stairway
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
e' uma &parte de
Objeto
Entidade
e' uma &parte de
Objeto
Objeto
conecta
Entidade
e
Entidade
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM)
(
instance
?RS2
RetailStore
)
(
part
?RS2 ?SM)
(
not
(
equal
?RS1 ?RS2)))
(
not
(
exists
(?H)
(
and
(
instance
?H
Hallway
)
(
connects
?RS1 ?H ?RS2)))))
Medicine.kif 5132-5145
Objeto
e' uma
instancia
de
StripMall
Objeto
e' uma
instancia
de
RetailStore
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RetailStore
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Objeto
Objeto
e' uma
instancia
de
Hallway
Objeto
conecta
Objeto
e
Objeto
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
Area Geografica
e' uma
instancia
de
InlandWaterSystem
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e'
igual
a
Area Geografica
Area Geografica
e'
conectado
com
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
igual
a
Area Geografica
Objeto
e'
igual
a
Area Geografica
Objeto
e' uma &parte de
Area Geografica
Objeto
conecta
Area Geografica
e
Area Geografica
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1745-1756
muscleInsertion
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
Healthy
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
conecta
Objeto
e
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1695-1706
muscleOrigin
Musculo
and
Parte do Corpo
Objeto
e' uma
instancia
de
Humano
Healthy
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
conecta
Objeto
e
(=>
(
between
?OBJ2 ?OBJ1 ?OBJ3)
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9564-9566
Objeto
esta'
entre
Objeto
e
Objeto
Objeto
conecta
Objeto
e
Objeto
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9584-9586
Objeto
conecta
Objeto
e
Objeto
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?C
Capillary
)
(
exists
(?A ?V)
(
and
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
connects
?C ?A ?V))))
Mid-level-ontology.kif 11177-11183
Objeto
e' uma
instancia
de
Capillary
Objeto
Objeto
Objeto
e' uma
instancia
de
Artery
Objeto
e' uma
instancia
de
Vein
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?C
Curb
)
(
exists
(?S ?R)
(
and
(
instance
?S
Sidewalk
)
(
instance
?R
Roadway
)
(
connects
?C ?S ?R))))
Mid-level-ontology.kif 15050-15056
Objeto
e' uma
instancia
de
Curb
Objeto
Objeto
Objeto
e' uma
instancia
de
Sidewalk
Objeto
e' uma
instancia
de
Roadway
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?CHANNEL
Canal
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5599-5605
Objeto
e' uma
instancia
de
Canal
Objeto
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?CHANNEL
Channel
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5322-5328
Objeto
e' uma
instancia
de
Channel
Objeto
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM ?BRANCH)
(
and
(
instance
?STREAM
River
)
(
instance
?BRANCH
StreamWaterArea
)
(
flows
?BRANCH ?STREAM)
(
connects
?FORK ?STREAM ?BRANCH))))
Geography.kif 5498-5505
Objeto
e' uma
instancia
de
StreamWaterConfluence
Objeto
Objeto
Objeto
e' uma
instancia
de
River
Objeto
e' uma
instancia
de
Area aquatica em movimento
flows
Objeto
and
Objeto
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
Objeto
e' uma
instancia
de
StreamWaterConfluence
Objeto
Objeto
Objeto
e' uma
instancia
de
Area aquatica em movimento
Objeto
conecta
Objeto
e
Objeto
Objeto
e' uma
instancia
de
Area aquatica em movimento
flows
Objeto
and
Objeto
(=>
(
instance
?HINGE
Hinge
)
(
hasPurpose
?HINGE
(
exists
(?OBJ1 ?OBJ2)
(
and
(
connects
?HINGE ?OBJ1 ?OBJ2)
(
or
(
capability
Rotating
patient
?OBJ1)
(
capability
Rotating
patient
?OBJ2))))))
Mid-level-ontology.kif 15275-15283
Fisico
e' uma
instancia
de
Hinge
Fisico
tem por
fim
Entidade
Entidade
Fisico
conecta
Entidade
e
Entidade
Entidade
e'
capaz
de fazer
Rotating
no role
patient
Entidade
e'
capaz
de fazer
Rotating
no role
patient
(=>
(
instance
?J
BodyJoint
)
(
exists
(?S ?P1 ?P2)
(
and
(
instance
?S
Skeleton
)
(
component
?P1 ?S)
(
component
?P2 ?S)
(
component
?J ?S)
(
connects
?J ?P1 ?P2))))
Mid-level-ontology.kif 11706-11714
Objeto Corpuscular
e' uma
instancia
de
BodyJoint
Objeto Corpuscular
Objeto Corpuscular
and
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Skeleton
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
conecta
Objeto Corpuscular
e
Objeto Corpuscular
(=>
(
instance
?JUNCT
BodyJunction
)
(
exists
(?OBJ1 ?OBJ2)
(
and
(
instance
?OBJ1
BodyPart
)
(
instance
?OBJ2
BodyPart
)
(
connects
?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15112-15118
Objeto
e' uma
instancia
de
junta de partes do corpo
Objeto
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?NOS
Nostril
)
(
exists
(?N ?T)
(
and
(
instance
?N
Nose
)
(
instance
?T
Throat
)
(
connects
?NOS ?N ?T))))
Mid-level-ontology.kif 11326-11332
Objeto
e' uma
instancia
de
Nostril
Objeto
Objeto
Objeto
e' uma
instancia
de
Nose
Objeto
e' uma
instancia
de
Throat
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?SEA
Sea
)
(
exists
(?OCEAN ?PATH)
(
and
(
instance
?OCEAN
Ocean
)
(
instance
?PATH
WaterArea
)
(
connects
?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
Objeto
e' uma
instancia
de
Sea
Objeto
Objeto
Objeto
e' uma
instancia
de
Ocean
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?T
Tendon
)
(
exists
(?M ?B)
(
and
(
instance
?M
Muscle
)
(
instance
?B
Bone
)
(
connects
?T ?M ?B))))
Mid-level-ontology.kif 9448-9454
Objeto
e' uma
instancia
de
Tendon
Objeto
Objeto
Objeto
e' uma
instancia
de
Musculo
Objeto
e' uma
instancia
de
Osso
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?TL
TelephoneLine
)
(
exists
(?T1 ?T2)
(
and
(
or
(
instance
?T1
Telephone
)
(
instance
?T1
Telegraph
))
(
or
(
instance
?T2
Telephone
)
(
instance
?T2
Telegraph
))
(
not
(
equal
?T1 ?T2))
(
connects
?TL ?T1 ?T2))))
Mid-level-ontology.kif 3637-3648
Objeto
e' uma
instancia
de
TelephoneLine
Objeto
Objeto
Objeto
e' uma
instancia
de
Telephone
Objeto
e' uma
instancia
de
Telegraph
Objeto
e' uma
instancia
de
Telephone
Objeto
e' uma
instancia
de
Telegraph
Objeto
e'
igual
a
Objeto
Objeto
conecta
Objeto
e
Objeto
(=>
(
instance
?X
WaterSkiing
)
(
exists
(?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
(
and
(
instance
?BOAT
WaterVehicle
)
(
instance
?WATER
WaterArea
)
(
instance
?SKI
WaterSki
)
(
eventLocated
?X ?WATER)
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?SKI)
(
connects
?LINE ?HUMAN ?BOAT)
(
instance
?TRANS
Transportation
)
(
instrument
?TRANS ?BOAT)
(
instance
?MOTION
Motion
)
(
agent
?MOTION ?HUMAN)
(
instrument
?MOTION ?SKI)
(
causes
?TRANS ?MOTION)
(
subProcess
?MOTION ?X))))
Sports.kif 1247-1264
Processo
e' uma
instancia
de
WaterSkiing
AutonomousAgent
Objeto
,
Objeto
,
Objeto
,
Objeto
,
Processo
and
Processo
Objeto
e' uma
instancia
de
WaterVehicle
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
WaterSki
eventLocated
Processo
and
Objeto
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
situado
em
Objeto
Objeto
conecta
AutonomousAgent
e
Objeto
Processo
e' uma
instancia
de
Transporte
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Movimento
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
causa
Processo
Processo
e' um
sub
-processo de
Processo
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