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
ElectionFn
Sigma KEE - ElectionFn
ElectionFn
appearance as argument number 1
(
documentation
ElectionFn
EnglishLanguage
"(
ElectionFn
?ORG) denotes the class of
Election
s conducted by the
GeopoliticalArea
or
Organization
?ORG, in which offices or issues pertaining to ?ORG are voted upon.")
Government.kif 1688-1690
(
domain
ElectionFn
1
AutonomousAgent
)
Government.kif 1685-1685
选举
的 1 数量 是
施事体
的
instance
(
instance
ElectionFn
UnaryFunction
)
Government.kif 1684-1684
选举
是
一元函数
的
instance
(
rangeSubclass
ElectionFn
Election
)
Government.kif 1686-1686
选举
的所得值 是
选举
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
ElectionFn
"%1 的 election ")
domainEnglishFormat.kif 844-844
(
format
ChineseTraditionalLanguage
ElectionFn
"%1 的 election ")
domainEnglishFormat.kif 843-843
(
format
EnglishLanguage
ElectionFn
"the election of %1")
domainEnglishFormat.kif 842-842
(
termFormat
ChineseLanguage
ElectionFn
"选举")
domainEnglishFormat.kif 21420-21420
(
termFormat
ChineseTraditionalLanguage
ElectionFn
"選舉")
domainEnglishFormat.kif 21419-21419
(
termFormat
EnglishLanguage
ElectionFn
"election")
domainEnglishFormat.kif 21418-21418
antecedent
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ELECTION
(
ElectionFn
?AGENT)))
(
agent
?ELECTION ?AGENT))
Government.kif 1700-1704
如果
施事体
是
施事体
的
instance
和
过程
是
那个 施事体
的
election
的
instance
,
然后
那个 施事体
是
那个 过程
的
agent
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
如果
施事体
是
施事体
的
instance
和
那个 施事体
的
election
是
选举
的
subclass
,
然后
那个 施事体
是
机构
的
instance
或
那个 施事体
是
地缘政治区域
的
instance
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1075-1084
如果
选举
是
施事体
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
另一个 施事体
是
那个 过程
的
agent
和
实数
年持续时间
是
那个 施事体
的
suffrage
最大年纪 和
那个 另外 施事体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1062-1073
如果
选举
是
施事体
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
另一个 施事体
是
那个 过程
的
agent
和
实数
年持续时间
是
那个 施事体
的
suffrage
最大年纪,
然后 有存在
另一个 实数
这样
那个 另外 施事体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1003-1012
如果
选举
是
施事体
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
另一个 施事体
是
那个 过程
的
agent
和
实数
年持续时间
是
那个 施事体
的
suffrage
最小年纪 和
那个 另外 施事体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 990-1001
如果
选举
是
施事体
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
另一个 施事体
是
那个 过程
的
agent
和
实数
年持续时间
是
那个 施事体
的
suffrage
最小年纪,
然后 有存在
另一个 实数
这样
那个 另外 施事体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT))))
Government.kif 1176-1189
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
另一个 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
选举
是
那个 国家
的
election
的
instance
,
然后 有存在
过程
这样
那个 过程
是
那个 选举
的
voting
的
instance
和
那个 人类
是
那个 过程
的
agent
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
如果
独家男性选举权
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
选举
是
那个 国家
的
election
的
instance
和
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
,
然后
男
是
那个 人类
的
attribute
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1258-1265
如果
独家男性选举权
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
选举
是
那个 国家
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
那个 人类
是
那个 过程
的
agent
,
然后
男
是
那个 人类
的
attribute
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
如果
普选法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
另一个 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
选举
是
那个 国家
的
election
的
instance
,
然后
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1052-1060
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
和
那个 客体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1040-1050
如果
实数
年持续时间
是
施事体
的
suffrage
最大年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
,
然后 有存在
另一个 实数
这样
那个 客体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 980-988
如果
实数
年持续时间
是
施事体
的
suffrage
最小年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
和
那个 客体
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 968-978
如果
实数
年持续时间
是
施事体
的
suffrage
最小年纪 和
选举
是
那个 施事体
的
election
的
instance
和
客体
能够担当
主事
的角色做
那个 选举
的
voting
,
然后 有存在
另一个 实数
这样
那个 客体
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
consequent
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
如果
人类
是
国家
的
citizen
和
普选法
是
那个 国家
的
regional
法律 的
subProposition
,
然后
那个 国家
的
regional
法律 允许
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
,
然后
那个 国家
的
regional
法律 要求
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
confersObligation
(
forall
(?AGENT ?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?POLITY))
Government.kif 1191-1209
如果
强制选举法
是
地缘政治区域
的
regional
法律 的
subProposition
,
然后
那个 地缘政治区域
的
regional
法律 要求
那个 地缘政治区域
执行 对所有
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
如果
那个 实体
是
那个 地缘政治区域
的
citizen
和
那个 另外 实体
年持续时间
是
那个 地缘政治区域
的
suffrage
最小年纪 和
那个 实体
的
age
是
那个 第三 实体
年持续时间
和
那个 第三 实体
是
greaterThanOrEqualTo
那个 另外 实体
和
那个 第四 实体
是
那个 地缘政治区域
的
election
的
instance
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
那个 第四 实体
的
voting
的
instance
和
那个 实体
是
那个 第五 实体
的
agent
的任务
(=>
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
forall
(?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))))
Government.kif 1106-1118
如果
普选法
是
国家
的
regional
法律 的
subProposition
,
然后 对所有
人类
,
选举
,, ,
实数
, and 和
另一个 实数
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 选举
是
那个 国家
的
election
的
instance
,
然后
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
statement
(
containsInformation
(
forall
(?AGENT ?VOTER ?ELECTION ?VOTING)
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?AGENT))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
attribute
?VOTER
Male
)))
ExclusiveMaleSuffrage
)
Government.kif 1241-1248
对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING
如果 ?ELECTION 是 ?AGENT 的
election
的
instance
和 ?VOTING 是 ?ELECTION 的
voting
的
instance
和 ?VOTER 是 ?VOTING 的
agent
,
然后
男
是 ?VOTER 的
attribute
contains
独家男性选举权
的资料
(
containsInformation
(
forall
(?COUNTRY ?ELECTION ?VOTING ?VOTER)
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?ELECTION
(
ElectionFn
?COUNTRY))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
citizen
?VOTER ?COUNTRY)))
VoterCitizenshipRequirement
)
Government.kif 923-931
对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER
如果 ?COUNTRY 是
国家
的
instance
和 ?ELECTION 是 ?COUNTRY 的
election
的
instance
和 ?VOTING 是 ?ELECTION 的
voting
的
instance
和 ?VOTER 是 ?VOTING 的
agent
,
然后 ?VOTER 是 ?COUNTRY 的
citizen
contains
选民公民身份要求
的资料
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
如果 ?AGENT 是 ?POLITY 的
citizen
和 ?VOTINGAGE
年持续时间
是 ?POLITY 的
suffrage
最小年纪 和 ?AGENT 的
age
是 ?AGE
年持续时间
和 ?AGE 是
greaterThanOrEqualTo
?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的
election
的
instance
,
然后 ?AGENT 能够担当
主事
的角色做 ?ELECTION 的
voting
contains
普选法
的资料
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1160-1174
对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
如果 ?VOTER 是 ?POLITY 的
citizen
和 ?VOTINGAGE
年持续时间
是 ?POLITY 的
suffrage
最小年纪 和 ?VOTER 的
age
是 ?AGE
年持续时间
和 ?AGE 是
greaterThanOrEqualTo
?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的
election
的
instance
,
然后 有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的
voting
的
instance
和 ?VOTER 是 ?VOTING 的
agent
contains
强制选举法
的资料
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