Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Sigma KEE - TotalValuedRelation
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
总值关系
一个 RelationTotalValuedRelation 以防该 Relation 最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都 有一个赋值。注:声明一个 Relation 既是 TotalValuedRelation 又是 SingleValuedRelation 表示这是一个总函数。
Relationships      
Parents 可继承的关系 The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  关系 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Children 偏序关系A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.
 UnitOfMeasureMultiplierEach instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument.
Instances绝对值函数(AbsoluteValueFn ?NUMBER)的值时 RealNumber ?NUMBER 的绝对值。
 AccelerationFnSpecifies the acceleration of an object, i.e. the change in speed for a given direction.
 加法函数如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (AdditionFn ?NUMBER1 ?NUMBER2)就是这些数字的算术和。
 祖先这是 parent 谓词 的传递闭包。 (ancestor ?DESCENDANT ?ANCESTOR)的意思是 ?ANCESTOR 要不是 ?DESCENDANT 的 parent,就是 DESCENDANT 的 parentparent,如此类推。
 圆周角度测量(angularMeasure ?ANGLE ?MEASURE)的意思是 二维几何角度 ?ANGLE 的 PlaneAngleMeasure 是 ?MEASURE。
 近似直径这是假设一个为和它体积相同的完美球体的直径。
 ArcCosineFnThe inverse of CosineFn.
 ArcSineFnThe inverse of SineFn.
 ArcTangentFnThe inverse of TangentFn.
 属于(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如:(attribute MyLittleRedWagon Red)。
 开始函数这是一个 UnaryFunction,它把一个 TimeInterval 和 这个时段开始的 TimePoint 联系起来。
 节点开端函数这是一个 UnaryFunction,它把一个 GraphPath 联系到 GraphPath 开端的 GraphNode。注:跟 InitialNodeFn 不同 (把一个 GraphArc 和一个 GraphNode 联系), BeginNodeFn 是一个总体的函数 - 每个 GraphPath 都有它的开端。
 顶整数函数(CeilingFn ?NUMBER)得出大于或等于 RealNumber ?NUMBER 的最小 Integer
 圆心(CenterOfCircleFn ?CIRCLE) 表示 Circle ?CIRCLE 的中心的 GeometricPoint
 改变位置(changesLocation ?EVENT ?OBJECT)的意思是当 Translocation 事件 ?EVENT 发生时,?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的 agentpatientexperiencer
 补集函数一个特定的 SetOrClass C 的补集,是一个包含所有 东西、但不包括C实例的 SetOrClass。换句话数,一个物体是 SetOrClass C 补集的一个实例,以防它不是C 的一个实例。
 结论(conclusion ?ARGUMENT ?PROPOSITION)的意思是 Proposition ?PROPOSITION 是由 Argument ?ARGUMENT 所得出明确的结论。注:有可能是但也有可能不是 由 ?ARGUMENT entails ?PROPOSITION。
 比赛参与者(contestParticipant ?CONTEST ?AGENT) means that ?AGENT is one of the sides in the Contest ?CONTEST. For example, if the ?CONTEST is a football game, then ?AGENT would be one of the opposing teams. For another example, if ?CONTEST is a Battle, then ?AGENT would be one of the sides fighting each other.
 馀弦函数(CosineFn ?DEGREE)得出 PlaneAngleMeasure ?DEGREE 的余弦。在一个直角三角形, ?DEGREE 的余弦是?DEGREE 傍边的边和斜边的比率。
 分母函数(DenominatorFn ?NUMBER)得出 RealNumber ?NUMBER 还原规范形式的分母。
 密度函数DensityFnMassMeasure 的实例和 VolumeMeasure 的实例和由这个质量和体积比例所代表的密度联系起来。例如: (DensityFn (MeasureFn 3 Gram)(MeasureFn 1 Liter)) 表示密度3克/升。
 直径(DiameterFn ?CIRCLE) denotes the length of the diameter of the Circle ?CIRCLE.
 圆周(diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。
 距离(distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注:谓词 lengthdistance 之间的分别在于,length 是用来表示一个单一物体其中一个维度的 LengthMeasure,而是用来表示两个不同物体之间的LengthMeasure
 时段(duration ?POS ?TIME)的意思是 TimePosition ?POS 的长短是 ?TIME。注;这个 Predicate 可以和 Function WhenFn 一起使用来指定任何 Physical 的 持续时间。
 更早(earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。
 电子数(electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER.
 结束函数这是一个 UnaryFunction,它把一个 TimeInterval 和 这个时段结束的 TimePoint联系起来。
 节点末端这是一个 UnaryFunction,它把一个 GraphPathGraphPath 末端的GraphNode。注:和 TerminalNodeFn不同 (把一个 GraphArc 和一个 GraphNode 联系),EndNodeFn 是一个总体的函数 - 每个 GraphPath 都有它的末端。
 eventLocated(eventLocated ?PROC ?OBJ) 的意思是整个 Process ?PROC 是位于 Object ?OBJ,也就是说所有 ?PROC 的 subProcess 是位于 ?OBJ。
 次幂函数(ExponentiationFn ?NUMBER ?INT)交出 RealNumber ?NUMBER 的 Integer ?INT次方。
 完成(finishes ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是 TimeInterval 有共同的结束 TimePoint,而 ?INTERVAL2 比 ?INTERVAL1 先开始。
 底整数函数(FloorFn ?NUMBER) 得出小于或等于 RealNumber ?NUMBER 的最大 Integer
 未来函数这是一个 UnaryFunction,它把一个 TimePosition 联系到和它相遇并在 PositiveInfinity 结束的 TimeInterval
 概括交集函数这是一个 UnaryFunction,它拿 Class 的一个 SetOrClass 为它的单一参数,然后返回由原本 SetOrClass 所有 Class 的交集为一个 SetOrClass,即是这个 SetOrClass 里的实例只包括出现在所有原本 SetOrClass 的实例。
 概括结合函数这是一个 UnaryFunction,它拿 Class 的 一个 SetOrClass 为它的单一参数,然后返回由原本 SetOrClass 的所有 Class 合并为一个 SetOrClass,即是这个 SetOrClass 里的实例包括只属于原本 SetOrClass 的实例。
 几何距离(geometricDistance ?POINT1 ?POINT2 ?LENGTH) 的意思是 ?LENGTH 是两个 GeometricPoint ?POINT1 和 ?POINT2 之间的距离。
 图形部分这是 Graph 和它的部分之间的一个基本关系。 (graphPart ?PART ?GRAPH) 的意思是 ?PART 是Graph ?GRAPH 的一个 GraphArcGraphNode
 图路函数这是一个 BinaryFunction,它把两个GraphNode 联系到这两个节点之间的 GraphPath Class。注:这两个 GraphNode 必须属于同一个 Graph
 大于(greaterThan ?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的 Quantity 比 ?NUMBER2 的 Quantity 要大。
 虚数函数(ImaginaryPartFn ?NUMBER) 得出 ?NUMBER 有它的因子为-1的平方根的部分。
 直系亲属(ImmediateFamilyFn ?PERSON) 表示 ?PERSON 的直属家人,即是这个 Group 包括这个 ?PERSON 的 parent 和任何把这个 ?PERSON 当 parent 的人。
 紧接未来函数这是一个 UnaryFunction, 它把一个 TimePosition 和紧随这个 TimePosition 的一个既短而又不确定的 TimeInterval
 紧接过去函数这是一个 UnaryFunction, 它把一个 TimePosition 和紧接这个 TimePosition 之前的一个既短而又不确定的 TimeInterval
 交集函数这是一个 BinaryFunction,它把两个 SetOrClass 这两个 SetOrClass 的交集联系起来。一个物体是这两个 SetOrClass 的交集的一个实例, 以防它同时是这两个 SetOrClass 的一个 instance
 间隔函数这是一个 BinaryFunction,它把 ConstantQuantity 的两个实例联系到包含从第一个 ConstantQuantity 到第二个 ConstantQuantity 的间隔的 ConstantQuantity subclass 上。例如:(IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter))会得出包含长度由8 到14 米之间数量的 ConstantQuantity subclass
 更大(larger ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 大。
 线测量(lineMeasure ?LINE ?MEASURE)的意思是直线 ?LINE 的 LengthMeasure 是 ?MEASURE。
 连接表列函数这个 Function 把由两个参数所设定的 List 串联起来。例如:(ListConcatenateFn (ListFn Monday Tuesday) (ListFn Wednesday Thursday)) 会成了 (ListFn Monday Tuesday Wednesday Thursday)。
 找出表列长度的函数这个 Function 接受一个 List 作为它唯一的参数, 然后交出这个 List 中项目的数量。例如: (ListLengthFn (ListFn Monday Tuesday Wednesday))交出的值会是3。
 位于(located ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 partlyLocated 在 ?OBJ2,而且没有一处 ?OBJ1的 part 不是 located 在?OBJ2。
 形式(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 Attribute 通常以副词来表示,这些 包括像风的速度、一个舞蹈的风格或一种运动比赛竞争的激烈程度等。
 较大值函数(MaxFn ?NUMBER1 ?NUMBER2)得出 ?NUMBER1 和 ?NUMBER2 中最大值。 一旦 ?NUMBER1 等于 ?NUMBER2 的话 MaxFn 就得出其中的一个参数。
 最高加权路径函数这是一个 BinaryFunction,它以两个 GraphNode 之间弧衡量总和的最大值,把两个 GraphNode 分配到 GraphPath 上。
 最大载荷容量(maximumPayloadCapacity ?V ?MM) means that the Vehicle ?V has a maximum payload of ?MM. This means that the vehicle can transport Objects weighing less than ?MM, provided that their height and width are within the limits of maximumPayloadHeightWidth.
 最大有效负载高度宽度(maximumHeightWidth ?V ?LMHEIGHT ?LMWIDTH) means that the Vehicle ?V can transport Objects with a height less then or equal to ?LMHEIGHT and width less than or equal to ?LMWIDTH, provided that the weight of these Objects is less than or equal to maximumPayloadCapacity.
 计量函数这个 BinaryFunction 把一个 RealNumber 和一个 UnitOfMeasure 联系成这个 Number 的单位。 这是用来表达 PhysicalQuantity 的某种分量的实例。 例如:三米可以这样来表示 (MeasureFn 3Meter)。
 在时间上接着(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTERVAL2 起点。
 部分差异函数(MereologicalDifferenceFn ?OBJ1 ?OBJ2)表示 Object 包含属于 ?OBJ1 但不属于 ?OBJ2 的部分。
 部分积函数(MereologicalProductFn ?OBJ1 ?OBJ2)表示 Object 含有属于 ?OBJ1 和 ?OBJ2 两者的部分。
 部分总和函数(MereologicalSumFn ?OBJ1 ?OBJ2)表示 这个 Object 含有属于 ?OBJ1 或 ?OBJ2 的部分。
 较小值函数(MinFn ?NUMBER1 ?NUMBER2)得出 ?NUMBER1 和 ?NUMBER2 中最小值。 一旦 ?NUMBER1 等于 ?NUMBER2 的话 MinFn 就得出其中的一个参数。
 最低加权路径函数这是一个 BinaryFunction,它以两个 GraphNode 之间弧衡量总和的最小值,把两个 GraphNode 分配到 GraphPath 上。
 移动(moves ?MOTION ?OBJECT)的意思是当 Motion 事件 ?MOTION 发生时, ?OBJECT 移动了。这不一定意味着在 ?MOTION 的过程中, ?OBJECT 位置有所改变。请同时参考 changesLocationTranslocation
 乘法函数如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (MultiplicationFn ?NUMBER1 ?NUMBER2)就是这些数字的算术积。
 分子函数(NumeratorFn ?NUMBER)得出 ?NUMBER 还原规范形式 的分子。
 父母这是父母身份的概括关系。(parent ?CHILD ?PARENT)的意思是 ?PARENT 是 ?CHILD 的亲生父母。
 有一部分位于(partlyLocated ?OBJ1 ?OBJ2)的意思是 Physical 的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如:伊斯坦布尔有一部分位于 Asia, 并有一部分位于 Europe。注:partlyLocated 是最基本的位置关系: locatedpartlyLocated 的直接 subrelation,而 exactlyLocatedlocated 的直接 subrelation
 过去函数这是一个 UnaryFunction, 它把一个 TimePosition 联系 到和它相遇并在 NegativeInfinity 开始的 TimeInterval
 路径(path ?MOTION ?PATH)的意思是 ?PATH 是 ?MOTION 在上移动 的一条路线。例如:高速公路101以下命题的路径:那辆车驶向高速公路101。
 PerFn 把两个 PhysicalQuantity 的实例联系到由这两个实例 所组成的 FunctionQuantity。例如:(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFnGram)))表示2微克/千克的 FunctionQuantity。这个函数很有用因为它允许知识工程师随时编制新的 FunctionQuantity 实例。
 人员运输能力(personTransportCapability ?PV ?I) means that the PassengerVehicle ?PV is able to carry ?I Humans.
 幂集函数(PowerSetFn ?CLASS) 把SetOrClass ?CLASS 的所有subclass,都纳入SetOrClass的?CLASS上。
 前继数函数这是一个 UnaryFunction,它把一个Integer 和它 的前驱联系起来,例如:5的前驱是4。
 前提(premise ?ARGUMENT ?PROPOSITION)的意思是 Proposition ?PROPOSITION 是 Argument ?ARGUMENT 的一个明确假设。
 前提函数(PremisesFn ?ARGUMENT)得出 Argument ?ARGUMENT 整套完整的 premise
 表示机率的函数这是其中一个基本的 ProbabilityRelationProbabilityFn 是用来描述事态的先验机率。(ProbabilityFn ?FORMULA)表示 ?FORMULA 的先验机率。
 属于财产函数这是个 UnaryFunction,它把一个 Agent 和属于 AgentObject Set 联系起来。
 质子数(protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.
 半径(radius ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的半径的长度是 ?LENGTH。
 半径(RadiusFn ?CIRCLE) denotes the length of the radius of the Circle ?CIRCLE.
 relativeAngle(relativeAngle ?O1 ?O2 ?MEASURE) means that the two-dimensional geometric angle formed by ?O1 and ?O2 has ?MEASURE.
 相对补集函数这是一个 BinaryFunction,它把两个 SetOrClass 和这两个 SetOrClass 的差异联系起来,更确实的说,(RelativeComplementFn ?CLASS1 ?CLASS2)得出在 ?CLASS1 却不属于 ?CLASS2 的实例。
 相对时间函数这是用于不同 TimeZone 之间的一种对换 TimePosition 的方法。 (RelativeTimeFn ?TIME ?ZONE)表示 TimePosition 在 CoordinatedUniversalTime 上,即是和 TimePosition ?TIME 在 TimeZone ?ZONE 是同时期。例如: (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone)所得出的值会是 (MeasureFn 19 HourDuration)。
 四舍五入函数(RoundFn ?NUMBER)是在数字线上最接近 ?NUMBER 的 Integer,如果 ?NUMBER 位于两个 Integer 的一半(例如:3.5)时, 这将会得出较大的 Integer
 正或负值函数(SignumFn ?NUMBER) 得出 ?NUMBER 的正负符号,这将会是 以下其中的一个值: -1, 1 或 0。
 正弦函数(SineFn ?DEGREE)是 PlaneAngleMeasure ?DEGREE 的正弦。在一个直角三角形, ?DEGREE 的正弦是?DEGREE 对边和斜边的比率。
 更小(smaller ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 小。
 速率函数这个函数把LengthMeasure 的一个实例和 TimeDuration 的一个实例和由这个时间和距离比例所代表的速率联系起来。例如: (SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration))表示速度55英里每小时。
 开始(starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint,而 ?INTERVAL1 比 ?INTERVAL2 先 结束。
 StringConcatenateFnThe result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")).
 stringConcatenation(stringConcatenation ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-3 can be formed by appending ?SymbolicString-1 and ?SymbolicString-2, in order. Example: (stringConcatenation "Charles " "Darwin" "Charles Darwin") is a True Sentence.
 stringLength(stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence.
 StringLengthFnThis UnaryFunction takes a SymbolicString as its sole argument. The result of evaluating a term formed with StringLengthFn is a NonnegativeInteger that denotes the number of Characters in the SymbolicString. Example: (equal 14 (StringLengthFn "Charles Darwin")).
 subString(subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString.
 减法函数如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (SubtractionFn ?NUMBER1 ?NUMBER2) 就是 ?NUMBER1 和 ?NUMBER2 的算术差,即使 ?NUMBER1 减 ?NUMBER2,除了在 ?NUMBER1 等于0时,那么(SubtractionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER2 的负数。
 后继数函数这是一个 UnaryFunction,它把一个Integer 和它 的后续联系起来,例如:5的后继是6。
 正切函数(TangentFn ?DEGREE)是 PlaneAngleMeasure ?DEGREE 的切线。在一个直角三角形, ?DEGREE 的切线是?DEGREE 对边和?DEGREE 的比率。
 时间分拆函数这是表示以较小的 TimeInterval 组成较大的 TimeInterval 的基本 Function。例如:如果 ThisSeptember 是 September 的一个 instance, 那么(TemporalCompositionFn ThisSeptember Day)表示构成 ThisSeptember 内连续日数的 Class。注:我们可以用函数 CardinalityFn 来得出这个 Class 实例的数目。
 时间这个关系用于一个 Physical 实例 和一个 TimePosition 实例之间,以防前者所存在的的时间包含了后者的。 换句话说,(time ?THING ?TIME) 的意思是 ?THING 在 ?TIME 出现或发生。注: time 在于 Physical 实例,就相等于 holdsDuring 用在 Formula 的实例上,常数 locatedtime 分别是是基本的空间和时间谓词。
 交易金额(transactionAmount ?TRANSACTION ?AMOUNT)的意思是: ?AMOUNT 是在 FinancialTransaction ?TRANSACTION 中所交换 CurrencyMeasure 的实例。
 结合函数这是一个 BinaryFunction,它把两个 SetOrClass 和 这两个 SetOrClass 的并集联系起来。一个物体是这两个 SetOrClass 的并集的一个 element,以防它是 两个 SetOrClass 其中之一的一个 instance
 UnitFn UnitFn 以相关的 UnitOfMeasureRealNumber 大小,只得出一个 PhysicalQuantityUnitOfMeasure。例如:ConstantQuantity (MeasureFn 2 Kilometer)的单位是 UnitOfMeasure Kilometer
 速度函数这个函数指出一个物体的速度,也就是说速率和速率的方向。 例如: (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) ?REFERENCE North)表示从一个预定的坐标 ?REFERENCE 以每小时55英里的速度向北移动。
 财富函数这是一个 UnaryFunction,它把一个 Agent 和 指明这个 Agent 所拥有的财产的价值以一个 CurrencyMeasure 联系起来。注:这个 Function 一般 和 Function PropertyFn 结合起来应用,例如:(WealthFn (PropertyFn BillGates))会得出比尔 盖茨控股的总货币价值。
 武器携带能力(weaponCarryingCapability ?MV ?WC ?I) means that the MilitaryVehicle ?MV is able to carry ?I Weapons of class ?WC.
 何时函数这是一个 UnaryFunction,它把一个 ObjectProcess 联系到它存在的准确 TimeInterval。注:在 TimeInterval (WhenFn ?THING)以外的 每一个 TimePoint ?TIME, (time ?THING ?TIME) 并不存在
 表示位置的函数这个函数把一个 Object 和 一个 TimePoint 连在一起, 它的意思是这个 ObjectTimePoint 存在于 Region
 年函数这是一个 UnaryFunction, 它把一个数字和对应的日历 Year 联系起来。例如:(YearFn 1912)会得出,1912年这个只有一个实例的 Class。正如所料的,正整数会得出公元 的年份,而负整数会得出 公元前的年份。注:这个函数得出一个 Class 作为它的值,原因是和它相关的函数,即 MonthFnDayFnHourFnMinuteFnSecondFn 等,是用来得出特定的 TimeInterval 和重复发生的时段,而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。
 倒数函数(ReciprocalFn ?NUMBER) 是相对于乘法运算 (MultiplicationFn),?NUMBER 的乘法逆元素(倒数),即是 1/?NUMBER。不是所有的数字都有倒数的, 比如说数字0就没有。如果一个数字 ?NUMBER有倒数 ?RECIP的话,那么 ?NUMBER 和 ?RECIP 的积会是1, 例如:3*1/3 = 1。一个元素的倒数 equal 对那个元素以-1的次方,应用 ExponentiationFn 函数。


Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


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