KB Graph : Welcome guest : log in		 [  Home |  ]  KB:  Language:   

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组...^
    PartialValuedRelation144一个 Relation 是 PartialValuedRelation 是为了确保它不是一个 TotalValuedRelation，也就是说除了最后一个之外给每一个 参数位置分配一个值...^
        coding1^
        filename.^
        mimeType.^
        areaOfOperation.^
        conjugate.^
        customer1^
        hostileForces.^
        stored.^
        SeriesVolumeFn.^
        PeriodicalIssueFn.^
        alias.^
        legalGuardian.^
        ancestorOrganization.^
        SubstringFn.^
        suffers.^
        inverse.BinaryRelation 的相反是一种 Relation, 而属于它 原本 Relation 所有元组的值都逆转。 换句话说，当一种二元关系和另一种二元关系的参数交换的结果是相等的 ...^
        disjointRelation.这个术语把两种 Relation 连接。 (disjointRelation ?REL1 ?REL2) 的意思是指这两种关系没有共同的元组。^
        successorAttributeClosure.successorAttribute 的 传递闭包；(successorAttributeClosure ?ATTR1 ?ATTR2) 的意思是 successorAttribute 有...^
        FrontFn.这是一个Function ，它能把 Object 转到一般能够得到 最大程度关注或者说通常是面对该 Object 移动的方向的那一面。注：这是一个部分函数， 因为有一些 Object...^
        BackFn.这个 Function 把 Object 转到 与 这个 Object 的 FrontFn 相反的那面。注：这是一个部分函数， 因为有一些 Object 是没有侧面的，例如苹果和...^
        contains.这是两个可分离物体的空间容量关系。 用于不可分离的物体（如汽 车和它的座位)时，应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnecte...^
        ExtensionFn.这个 UnaryFunction 把一个 Attribute 联系到 属于这个 Attribute 属性条件的 Class。^
        AttrFn.^
        agent8(agent ?PROCESS ?AGENT) 的意思是 ?AGENT，不管它 有没有生命，也不管他有没有自主意图，它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如...^
        destination.(destination ?PROCESS ?GOAL) 的意思是 ?GOAL 是 ?PROCESS 过程的目标或目的。例如：在以下'鲍勃去了丹伯里'这命题中，鲍勃会是终点。注：这是一个 非常概括的...^
        experiencer3(experiencer ?PROCESS ?AGENT) 的意思是 ?AGENT 在经历 ?PROCESS 这个 Process。 例如：在以下'佑舟看见哪尾鱼'这命题，佑舟是看见这过程的...^
        instrument7(instrument ?EVENT ?TOOL) 的意思是 ?TOOL 是主事者令?EVENT 发生的工具，而且 ?TOOL 并没受到 ?EVENT 的改变。例如：在以下'哪钥匙把门打开了' 这命...^
        origin.(origin ?PROCESS ?SOURCE) 的意思是 ?SOURCE 指出 ?Process 从哪开始。注：这个关系意味着 ?SOURCE 在过程开始时是存在的，但是它不一定有参与 整个...^
        patient32(patient ?PROCESS ?ENTITY) 的意思是 ?ENTITY 是 ?PROCESS 中一个可以被搬动、被告诉和能体验等的参与者。例如：在'那只猫吞掉了那只金丝雀'和'比利喜欢这...^
        resource1(resource ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它受到 ?PROCESS 的改变。例如...^
        resourceExhausted.(resourceExhausted ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它完全被 ?PROC...^
        result.(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如：在以下'埃里克建了一栋房子'这命题，房子是个 result。^
        ListOrderFn.(ListOrderFn ?LIST ?NUMBER) 表示在 ?LIST List 第?NUMBER个位置的项目。例如： (ListOrderFn (ListFn Monday...^
        inList1这是类似 List 的 element 和 instance。 (inList ?OBJ ?LIST) 的意思是 ?OBJ 是在 ?LIST List 里。例如： (inLi...^
        eventPartlyLocated2(eventPartlyLocated ?PROC ?OBJ) 的意思是 Process ?PROC 的某些 subProcess 是位于 Object ?OBJ。^
        penetrates.(penetrates ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 和 ?OBJ2 起码在一整个维度(长度、阔度或深度) connected。^
        hindersSubclass.这是一个十分概括的 Predicate， (hindersSubclass ?PROC1 ?PROC2)的意思是 Process 类 ?PROC1 hindersSubclass 或...^
        preventsSubclass.这是一个十分概括的 Predicate， (preventsSubclass ?PROC1 ?PROC2) 的意思是 ?PROC1 类 preventsSubclass ?PROC2 类发生...^
        prevents.这是一个十分概括的 Predicate， (prevents ?PROC1 ?PROC2)的意思是 ?PROC1 的一个实例阻止 ?PROC2 类的发生。注：这个关系和 preventsSu...^
        hinders.这是一个概括的 Predicate，(hinders ?PROC1 ?PROC2) 的意思是 ?PROC1 的一个实例 decreasesLikelihood ?PROC2 类的发生。这个比...^
        uniqueIdentifier.这是专门识别 Entity 的一个实例的 names 类别，uniqueIdentifier 的一些例子包括数据库应用程序数据库表的索引，和ISBN(国际标准书号)。^
        subProposition1(subProposition ?PROP1 ?PROP2) 的意思是 ?PROP1 是一个 Proposition，它是 Proposition ?PROP2 的一个真正部分。换句话说...^
        subPlan.(subPlan ?PLAN1 ?PLAN2) 的意思是 ?PLAN1 是一个 Plan，它是 ?PLAN2 的真正部分。这个关系一般用来在特定的情况下，把整个 Plan 和它的一个支援...^
        DivisionFn.如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (DivisionFn ?NUMBER1 ?NUMBER2)就是 ?NUMBER1 除 ?NUMBER2 的商。注：当 ...^
        GreatestCommonDivisorFn.(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER)得出 ?NUMBER1 到 ?NUMBER 的最大公约数。^
        IntegerSquareRootFn.(IntegerSquareRootFn ?NUMBER) 得出 ?NUMBER 平方根的整数。 ^
        LeastCommonMultipleFn.(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) 得出 ?NUMBER1 到 ?NUMBER 的最小公倍数。^
        RemainderFn.(RemainderFn ?NUMBER ?DIVISOR)是数字 ?NUMBER 除以数字 ?DIVISOR 的余数，商数的正负值与 ?DIVISOR 相同。^
        average.这是一个部分函数，只要一个 List 的元素都是 RealNumber，它会把这个List 和一个 RealNumber 联系起来。和这个 List 联系的 RealNumb...^
        KappaFn.这是一个组成类别的运算符，它拿两个参数：一个变数和一个 包含属于这个变数，起码一个不受限制例子的公式。应用 KappaFn 到一个变数和一个公式的结果是一个包含 满足这个公式东西的 SetO...^
        InitialNodeFn.这是一个 UnaryFunction，它把一个 GraphArc 和这个 GraphArc的始点联系起来。 注：这是一个部分函数，特别是当 GraphArc 不属于 Direct...^
        TerminalNodeFn.这是一个 UnaryFunction， 它把一个 GraphArc 和这个 GraphArc的终点联系起来。 注：这是一个部分函数，特别是当 GraphArc 不属于 Direc...^
        altitude.这是一个 TernaryPredicate，它是用来表示一个 Object 的 top 和这个 Object top 以下的另外一点 (通常这一点会是海平面)之间的 dist...^
        temporallyBetween.(temporallyBetween ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT2 位于 TimePoint ?POINT1 和 ?POI...^
        temporallyBetweenOrEqual1(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT1 等于或是在 TimePoint ?POI...^
        TimeIntervalFn.这是一个 BinaryFunction，它接受两个 TimePoint 参数，然后得出由这两个 TimePoint 所界定的 TimeInterval。注：第一个 TimePoi...^
        RecurrentTimeIntervalFn.这是一个方便得出重复发生时段的函数。例如： (RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day))会得出从早上6时开始至中...^
        MonthFn.这是一个 BinaryFunction，它把 Month 的子类别与 Year 的子类别和该 Year 对应 Month 的类别联系起来。例如：(MonthFn Augu...^
        DayFn.这是一个 BinaryFunction， 它把一个 PositiveRealNumber 与一个 Month 的子类别，分配到每个 Month 内对应该 PositiveReal...^
        HourFn.这是一个 BinaryFunction， 它把一个 PositiveRealNumber 与一个与一个 Day 的子类别，分配到每个 Day 内对应那个 NonnegativeI...^
        MinuteFn.这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 Hour 的子类别，分配到每个 Hour 内对应那个 Nonnegative...^
        SecondFn.这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 minute 的子类别，分配到每个 minute 内对应那个 Positiv...^
        MorningFn.^
        AfternoonFn.^
        EveningFn.^
        WeekFn.^
        QuarterFn.^
        overlapsPartially.(overlapsPartially ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2有共同的部分，但是 ?OBJ1 或 ?OBJ2 都不是对方的一个 part。^
        superficialPart4(superficialPart ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分，(或者直观的说，只有和 ?OBJ2 的部分重叠，在外部和 ?OBJ...^
        attends.(attends ?DEMO ?PERSON)的意思是 ?PERSON 出席 ?DEMO 演出活动，即是成为听众。^
        atomicNumber.(atomicNumber ?ELEMENT ?NUMBER)的意思是 ElementalSubstance ?ELEMENT 的原子数是 ?NUMBER。原子数是一个 Atom 核子内...^
        EditionFn.这是一个 BinaryFunction，它把一种文本 (例如：阿加莎·克里斯蒂所作的'东方快车'谋杀案 ) 和这个文本的版本对应的一个数字连在一起。^
        connectedEngineeringComponents.这是 EngineeringComponent 之间最普遍的连接关系。如果(connectedEngineeringComponents ?COMP1 ?COMP2),那么既非 ?COMP1...^
        mother.这是母亲的概括关系。(mother ?CHILD ?MOTHER)的意思是 ?MOTHER 是 ?CHILD 的亲生母亲。^
        father.这是父亲的概括关系。(father ?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。^
        sibling2这是两个拥有共同 mother 和 father 的 Organism 之间的关系。注：这个关系不包括同父异母或同母异父的兄弟或姐妹等等之间的关系。^
        brother.这是兄弟的概括关系。(brother ?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。^
        sister.这是姐妹的概括关系。(sister ?WOMAN ?PERSON)的意思是 ?WOMAN 是 ?PERSON 的姐妹。^
        spouse.这是两个 Human 的婚姻关系。^
        husband.(husband ?MAN ?WOMAN)的意思是 ?MAN 是 ?WOMAN 的 丈夫。^
        GovernmentFn.(GovernmentFn ?AREA)表示 GeopoliticalArea ?AREA 的 Government。例如：(GovernmentFn UnitedStates)...^
        direction.(direction ?PROC ?ATTR)的意思是 Process ?PROC 正向 ?ATTR 的方向移动。例如：我们会用这个 Predicate 来代表马斯正在向 North...^
        modalAttribute.这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达...^
        acronym.^
        spellingInLanguage.^
        keyName.^
        agentName4^
        agreementAdoptionDate.^
        agreementEffectiveDuring.^
        diplomaticRelations.^
        exportPartner.^
        importPartner.^
        catalogItem.^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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