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

Formal Language: 



Sigma KEE - PartialValuedRelation
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
部分值关系
一个 RelationPartialValuedRelation 是为了确保它不是一个 TotalValuedRelation,也就是说除了最后一个之外给每一个 参数位置分配一个值,但这不一定等于已经为最后一个参数位置设定赋值。注:如果一个 Relation既是 PartialValuedRelation 又是 SingleValuedRelation的话,那么它就是一个部分函数。
Relationships      
Parents 关系 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.
Instancesacronym(acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a multiword name for ?ENTITY. Example: IBM is an acronym identifying (naming) a company for which the full name is International Business Machines.
 AfternoonFnA UnaryFunction that returns the class of Afternoons of the given Day.
 主事(agent ?PROCESS ?AGENT) 的意思是 ?AGENT,不管它 有没有生命,也不管他有没有自主意图,它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如:在以下 '夏娃咬了一口苹果'这命题中,夏娃是个 agent
 agentName(agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?OBJ.
 协议采用日期(agreementAdoptionDate ?AGR ?TIME) means that the agreement ?AGR was adopted on the date indicated by ?TIME. For example, (agreementAdoptionDate ConstitutionOfTheUnitedStates (DayFn 17 (MonthFn September (YearFn 1787)))).
 协议有效期间(agreementEffectiveDuring ?AGR ?DATE) means that the agreement ?AGR is effective during the time indicated by ?DATE. The agreement may be effective for longer than ?DATE, but it is in effect at least throughout the time indicated by ?DATE.
 别号(alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely being used to hide or obscure ?AGENT's true identity.
 海拔这是一个 TernaryPredicate,它是用来表示一个 Objecttop 和这个 Object top 以下的另外一点 (通常这一点会是海平面)之间的 distance。注:这个 Predicate 可以用来指定例如地理特征的高度如山、飞机的高度和环绕地球的卫星轨道。
 祖先组织(ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2.
 经营范围An operational area defined by the joint force commander for land and naval forces. Areas of operation do not typically encompass the entire operational area of the joint force commander, but should be large enough for component commanders to accomplish their missions and protect their forces. Also called AO. See also area of responsibility, joint operations area, joint special operations area.
 原子数(atomicNumber ?ELEMENT ?NUMBER)的意思是 ElementalSubstance ?ELEMENT 的原子数是 ?NUMBER。原子数是一个 Atom 核子内 Proton 的数目。
 出席(attends ?DEMO ?PERSON)的意思是 ?PERSON 出席 ?DEMO 演出活动,即是成为听众。
 attrFor given class and for given attribute, return a subclass of the class of the argument having the attribute
 平均这是一个部分函数,只要一个 List 的元素都是 RealNumber,它会把这个List 和一个 RealNumber 联系起来。和这个 List 联系的 RealNumber 等于这个 List 内的 RealNumber 的数学平均 除以列表元素的总数。
 挪后函数这个 FunctionObject 转到 与 这个 ObjectFrontFn 相反的那面。注:这是一个部分函数, 因为有一些 Object 是没有侧面的,例如苹果和球体。 也要注意 这个 Functionrange 是无限的,就像 ImmediateFutureFnImmediatePastFn 一样也是无限的。从理论的观点来说,虽然这个无限性并不理想,但它没有太大的实际影响,因为在共同意思间对于最常见 的情况已经达成广泛的共识。
 哥哥这是兄弟的概括关系。(brother ?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。
 catalogItem(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG
 codingA relation between a ContentBearingObject and a CodingScheme that specifies how the content is expressed. Typically, this will be used either for encoded secret communications or computer files that might be coded simply for data compression instead of information security.
 共轭(conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other.
 相连工程子组件这是 EngineeringComponent 之间最普遍的连接关系。如果(connectedEngineeringComponents ?COMP1 ?COMP2),那么既非 ?COMP1 也非 ?COMP2 可以成为对方的 engineeringSubcomponentconnectedEngineeringComponent 关系属于 SymmetricRelation,它并没有区别两个组件之间连接的方向。这也是 IrreflexiveRelation,没有一个 EngineeringComponent 会和自身建立这种关系。注:这种关系不会和一个名称或类型挂钩。
 容纳这是两个可分离物体的空间容量关系。 用于不可分离的物体(如汽 车和它的座位)时,应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间(即一个 HoleRegion),而它 至少由 ?OBJ2 填满了一部分。。
 顾客A very general relation that exists whenever there is a FinancialTransaction between the two Agents such that the first is the destination of the FinancialTransaction and the second is the agent.
 日函数这是一个 BinaryFunction, 它把一个 PositiveRealNumber 与一个 Month 的子类别,分配到每个 Month 内对应该 PositiveRealNumberDay。例如: (DayFn 16 August) 是八月份所有第16日的 Class,又例如: (DayFn 9 Month)会得出任何一个月 的第九日。再一个例子:(DayFn 18(MonthFn August (YearFn 1912)))表示1912年八月十八日。
 终点(destination ?PROCESS ?GOAL) 的意思是 ?GOAL 是 ?PROCESS 过程的目标或目的。例如:在以下'鲍勃去了丹伯里'这命题中,鲍勃会是终点。注:这是一个 非常概括的 CaseRole, 而特别是它包括'接受者' 和 '受益者'这两个概念,故此,在以下 '汤姆给了约翰一本书'这命题中,约翰会是 destination
 外交关系(diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2.
 方向(direction ?PROC ?ATTR)的意思是 Process ?PROC 正向 ?ATTR 的方向移动。例如:我们会用这个 Predicate 来代表马斯正在向 North 移动。
 不相交关系这个术语把两种 Relation 连接。 (disjointRelation ?REL1 ?REL2) 的意思是指这两种关系没有共同的元组。
 除法函数如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (DivisionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER1 除 ?NUMBER2 的商。注:当 ?NUMBER1 = 1 时, (DivisionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER2 的倒数。也要注意的是当 ?NUMBER2 = 0 时, (DivisionFn ?NUMBER1?NUMBER2) 会是为定义。
 版本函数这是一个 BinaryFunction,它把一种文本 (例如:阿加莎·克里斯蒂所作的'东方快车'谋杀案 ) 和这个文本的版本对应的一个数字连在一起。
 EveningFnA UnaryFunction that returns the class of Evenings of the given Day.
 eventPartlyLocated(eventPartlyLocated ?PROC ?OBJ) 的意思是 Process ?PROC 的某些 subProcess 是位于 Object ?OBJ。
 经历者(experiencer ?PROCESS ?AGENT) 的意思是 ?AGENT 在经历 ?PROCESS 这个 Process。 例如:在以下'佑舟看见哪尾鱼'这命题,佑舟是看见这过程的 experiencer。注: experiencer 不像 agent,参数之间并不需要含有因果关系。
 出口伙伴(exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the AutonomousAgent ?AGENT2.
 延伸函数这个 UnaryFunction 把一个 Attribute 联系到 属于这个 Attribute 属性条件的 Class
 父亲这是父亲的概括关系。(father ?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。
 filenameA relation between a SymbolicString and an instance of DigitalData that specified the filename of the data on a particular computer file system. This relation is for a fully qualified filename including a device specification such as a drive letter or name, a directory, and a name. This can include names that are aliases for a different physical file location. It does not include the specification of a particular machine on a network, such as an internet domain name, although it may reference a device specification that ultimately resolves to a storage device on a network.
 挪前函数这是一个Function ,它能把 Object 转到一般能够得到 最大程度关注或者说通常是面对该 Object 移动的方向的那一面。注:这是一个部分函数, 因为有一些 Object 是没有侧面的,例如苹果和球体。 也要注意这个 Functionrange 是无限的,就像 ImmediateFutureFnImmediatePastFn 一样也是无限的。从理论的观点来说,虽然这个无限性并不理想,但它没有太大的实际影响, 因为在共同意思间对于最常见的情况已经达成广泛的共识。
 政府函数(GovernmentFn ?AREA)表示 GeopoliticalArea ?AREA 的 Government。例如:(GovernmentFn UnitedStates)表示美国的联邦政府, (GovernmentFn PuertoRico)表示波多黎各联邦的政府。
 最大公因数函数(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER)得出 ?NUMBER1 到 ?NUMBER 的最大公约数。
 hinders这是一个概括的 Predicate,(hinders ?PROC1 ?PROC2) 的意思是 ?PROC1 的一个实例 decreasesLikelihood ?PROC2 类的发生。这个比 prevents 要弱,而 hindersSubclass 则是联系 Process 类别之间的关系。
 hindersSubclass这是一个十分概括的 Predicate, (hindersSubclass ?PROC1 ?PROC2)的意思是 Process 类 ?PROC1 hindersSubclass 或是阻碍 Process 类 ?PROC2 发生。例如:阻挡一个物体 hindersSubclass 移动它。注:这是 Process 类别之间 的关系,而不是 Process 的实例之间的关系。
 敌对势力(hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with GeopoliticalAreas that are at war with one another.
 时函数这是一个 BinaryFunction, 它把一个 PositiveRealNumber 与一个与一个 Day 的子类别,分配到每个 Day 内对应那个 NonnegativeIntegerHour。例如:(HourFn 12 Thursday)是所有星期四中午的 Class。另外一个例子: (HourFn 0 Day)会得出子夜所有实例的类别。再例如: (HourFn 14(DayFn 18 (MonthFn August (YearFn 1912))))表示1912年八月十八日下午两点。
 丈夫(husband ?MAN ?WOMAN)的意思是 ?MAN 是 ?WOMAN 的 丈夫。
 进口伙伴(importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the AutonomousAgent ?AGENT2.
 在列表内这是类似 Listelementinstance。 (inList ?OBJ ?LIST) 的意思是 ?OBJ 是在 ?LIST List 里。例如: (inList Tuesday (ListFn Monday Tuesday Wednesday)) 是真的
 节点起点函数这是一个 UnaryFunction,它把一个 GraphArc 和这个 GraphArc的始点联系起来。 注:这是一个部分函数,特别是当 GraphArc 不属于 DirectedGraph 时,这会是个为定义的函数。
 工具(instrument ?EVENT ?TOOL) 的意思是 ?TOOL 是主事者令?EVENT 发生的工具,而且 ?TOOL 并没受到 ?EVENT 的改变。例如:在以下'哪钥匙把门打开了' 这命题,钥匙是个 instrument。 注:instrumentresource 这两个参数不可以用同一对的顺序来 表示。
 整数平方根函数(IntegerSquareRootFn ?NUMBER) 得出 ?NUMBER 平方根的整数。
 逆向BinaryRelation 的相反是一种 Relation, 而属于它 原本 Relation 所有元组的值都逆转。 换句话说,当一种二元关系和另一种二元关系的参数交换的结果是相等的 话,那这 BinaryRelation 就是另一种的相反。
 组成类别函数这是一个组成类别的运算符,它拿两个参数:一个变数和一个 包含属于这个变数,起码一个不受限制例子的公式。应用 KappaFn 到一个变数和一个公式的结果是一个包含 满足这个公式东西的 SetOrClass。例如:我们用以下的方式表达小于100素数的 SetOrClass: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100)))。注:请尽量避免 用这个函数,因为目前还没有编写公理来支持它。
 keyName(keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing.
 最小公倍数函数(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) 得出 ?NUMBER1 到 ?NUMBER 的最小公倍数。
 法定监护人(holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1, ?H2 has legal authority over ?H1, and is responsible for looking after ?H1's interests.
 找出表列顺序的函数(ListOrderFn ?LIST ?NUMBER) 表示在 ?LIST List 第?NUMBER个位置的项目。例如: (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) 交出的值会是 Tuesday
 mimeTypeA relation between ComputerData and the MIME type it is coded in, with respect to IETF RFC 2045.
 分函数这是一个 BinaryFunction,它把一个 PositiveRealNumber 与一个与一个 Hour 的子类别,分配到每个 Hour 内对应那个 NonnegativeIntegerMinute。例如:(MinuteFn 30 (HourFn 17 Day))是所有下午5:30的 Class。另外一个例子: (MinuteFn 15 Hour) 会得出所有每个小时十五分钟实例的类别。再例如: (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) 表示1912年八月十八日下午两点十五分钟。
 语气属性这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达的 Proposition 含有 NormativeAttribute ?PROP。例如:(modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation)的意思是约翰有义务要给汤姆一样东西。.
 月函数这是一个 BinaryFunction,它把 Month 的子类别与 Year 的子类别和该 Year 对应 Month 的类别联系起来。例如:(MonthFn August (YearFn 1912)) 是包含第八个 Month 的类别,即是1912 Year 的八月。另一个例子是(MonthFn August Year)等于 August,这是所有八月的类别。注:这个函数得出一个 Class 作为它的值,原因是和它相关的函数,即 MonthFnDayFnHourFnMinuteFnSecondFn 等,是用来得出特定的 TimeInterval 和重复发生的时段,而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。
 MorningFnA UnaryFunction that returns the class of Mornings of the given Day.
 母亲这是母亲的概括关系。(mother ?CHILD ?MOTHER)的意思是 ?MOTHER 是 ?CHILD 的亲生母亲。
 源头(origin ?PROCESS ?SOURCE) 的意思是 ?SOURCE 指出 ?Process 从哪开始。注:这个关系意味着 ?SOURCE 在过程开始时是存在的,但是它不一定有参与 整个过程中。例如:在以下'导弹是从潜艇发射的'这命题,潜艇是个 origin
 部分重叠(overlapsPartially ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2有共同的部分,但是 ?OBJ1 或 ?OBJ2 都不是对方的一个 part
 受事(patient ?PROCESS ?ENTITY) 的意思是 ?ENTITY 是 ?PROCESS 中一个可以被搬动、被告诉和能体验等的参与者。例如:在'那只猫吞掉了那只金丝雀'和'比利喜欢这啤酒' 的直接受事体会是 patient 的例子。注:一个Processpatient 可能会也可能不会因为该 Process 而经历结构上的变化。用 patient 这个 CaseRole 是当我们想尽可能以最广泛的代表来 要指出 Process 的受事体。
 穿过(penetrates ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 和 ?OBJ2 起码在一整个维度(长度、阔度或深度) connected
 期刊编号函数A BinaryFunction that maps a subclass of Periodical and a number to all of the issues of the Periodical corresponding to the number.
 阻止这是一个十分概括的 Predicate, (prevents ?PROC1 ?PROC2)的意思是 ?PROC1 的一个实例阻止 ?PROC2 类的发生。注:这个关系和 preventsSubclass 的区别在于,后者是联系类别,而不是实例-类别。
 preventsSubclass这是一个十分概括的 Predicate, (preventsSubclass ?PROC1 ?PROC2) 的意思是 ?PROC1 类 preventsSubclass ?PROC2 类发生。换句话说, 如果 ?PROC1 在某个特定的时空发生的话, ?PROC2 就不可能在相同的时空发生。例如:注射疫苗 preventsSubclass 感染疾病。注:这是 Process 类别之间的关系,而不是 Process 的实例之间 的关系。
 QuarterFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Quarter within each Year corresponding to that PositiveRealNumber. For example, (QuarterFn 4 (YearFn 1999)) is the singular Class of the last QuarterYear of the Year 1999.
 重复发生时间函数这是一个方便得出重复发生时段的函数。例如: (RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day))会得出从早上6时开始至中午12结束 的 TimeInterval Class。例如:(RecurrentTimeInterval Saturday Sunday)得出所有周末的 Class。又例如:(RecurrentTimeInterval June August)得出学年的夏季 Class
 余函数(RemainderFn ?NUMBER ?DIVISOR)是数字 ?NUMBER 除以数字 ?DIVISOR 的余数,商数的正负值与 ?DIVISOR 相同。
 资源(resource ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它受到 ?PROCESS 的改变。例如: 在以下'这枪是用肥皂雕刻出来的'这命题,肥皂是个 resource。注: resourcepatient 的另外一个自关系 instrument 不同的地方在于,资源的内在或物理特性在某方面 收到了 Process 的改变。
 resourceExhausted(resourceExhausted ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它完全被 ?PROCESS 消耗掉了。例如: 在以下'那飞机的燃料耗尽了,就丢到大海里了'这命题,燃料是个 resourceExhausted
 结果(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个 result
 秒函数这是一个 BinaryFunction,它把一个 PositiveRealNumber 与一个与一个 minute 的子类别,分配到每个 minute 内对应那个 PositiveRealNumbersecond。例如: (SecondFn 4 (MinuteFn 5 Hour)) 是所有每小时五分四秒 Class。另外一个例子:(SecondFn 8 Minute) 会得出所有每分钟八秒。再例如:(SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))))表示1912年八月十八日下午两点十五分九秒。
 系列编号函数A BinaryFunction that maps a type of Series (e.g. the Encyclopedia-Britannica or the Popular-Mechanics periodical) and a number to the volumes of the text type designated by the number.
 兄弟姐妹这是两个拥有共同 motherfatherOrganism 之间的关系。注:这个关系不包括同父异母或同母异父的兄弟或姐妹等等之间的关系。
 妹妹这是姐妹的概括关系。(sister ?WOMAN ?PERSON)的意思是 ?WOMAN 是 ?PERSON 的姐妹。
 spellingInLanguageThe predicate. (spellingInLanguage ?SYMBOLICSTRING ?WORD ?LANGUAGE) means that the SymbolicString ?SYMBOLICSTRING expresses the Word ?WORD in the Language ?LANGUAGE.
 伴侣这是两个 Human 的婚姻关系。
 stored(stored ?REC ?OBJ) means that some ContentBearingObject, encoded in some format, is saved in some DataStorageDevice and can be accessed in some future date.
 子计划(subPlan ?PLAN1 ?PLAN2) 的意思是 ?PLAN1 是一个 Plan,它是 ?PLAN2 的真正部分。这个关系一般用来在特定的情况下,把整个 Plan 和它的一个支援 Plan 联系。
 子命题(subProposition ?PROP1 ?PROP2) 的意思是 ?PROP1 是一个 Proposition,它是 Proposition ?PROP2 的一个真正部分。换句话说 subProposition 是一堆抽象内容的 properPart 的类似物。
 SubstringFn(SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string that is a subString of ?SymbolicString, begins with the Character at the index ?NonnegativeInteger-1, and ends with the Character at the index (SubtractionFn ?NonnegativeInteger-2 1). The first Character in ?SymbolicString is denoted by the index 0. If the value of ?NonnegativeInteger-1 or ?NonnegativeInteger-2 is greater than the value of (StringLengthFn ?SymbolicString), or if ?NonnegativeInteger-1 is greater than ?NonnegativeInteger-2, the result of evaluating the SubstringFn expression is undefined. Example: (equal "Charle" (SubstringFn "Charles Darwin" 0 6)).
 后续属性闭包successorAttribute 的 传递闭包;(successorAttributeClosure ?ATTR1 ?ATTR2) 的意思是 successorAttribute 有一连串 联系着 ?ATTR1 和 ?ATTR2 的断言。
 suffersThe opposite of benefits. The Agent does not want the action to occur.
 表面部分(superficialPart ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分,(或者直观的说,只有和 ?OBJ2 的部分重叠,在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系,受 MereologicalSumFnMereologicalProductFn 的封闭。
 在两个时间之间(temporallyBetween ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT2 位于 TimePoint ?POINT1 和 ?POINT3 之间,即是 ?POINT1 在?POINT2 之前,而 ?POINT2 在 ?POINT3 之前。
 在两个时间之间或同时(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT1 等于或是在 TimePoint ?POINT2 之前, 而 ?POINT2 等于或是在 TimePoint?POINT3 之前。
 节点终点函数这是一个 UnaryFunction, 它把一个 GraphArc 和这个 GraphArc的终点联系起来。 注:这是一个部分函数,特别是当 GraphArc 不属于 DirectedGraph 时,这会是个为定义的函数。
 时段函数这是一个 BinaryFunction,它接受两个 TimePoint 参数,然后得出由这两个 TimePoint 所界定的 TimeInterval。注:第一个 TimePoint 必须要比第二个 TimePoint 先开始。
 唯一识别符号这是专门识别 Entity 的一个实例的 names 类别,uniqueIdentifier 的一些例子包括数据库应用程序数据库表的索引,和ISBN(国际标准书号)。
 WeekFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Week within each Year corresponding to that PositiveRealNumber. For example, (WeekFn 4 (YearFn 1999)) is the singular Class of all fourth Weeks of the Year 1999.


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