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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Abstract6444这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。^
    Relation1769这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组...^
        SingleValuedRelation351一个 Relation是 SingleValuedRelation 以确保除了最后一个参数之外，每一个参数的位置只有一个赋值，而最后的参数 顶多可以决定最后一个参数的位置。注：不是所有的 &...^
        TotalValuedRelation205一个 Relation 是 TotalValuedRelation 以防该 Relation 最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都 有一个赋值。注：声明一个 &...^
        PartialValuedRelation144一个 Relation 是 PartialValuedRelation 是为了确保它不是一个 TotalValuedRelation，也就是说除了最后一个之外给每一个 参数位置分配一个值...^
        BinaryRelation1311 BinaryRelation 是只有在关系联系两样东西的时候 才算是真，框架理论以槽代表 BinaryRelation。^
        InheritableRelation1765这是一个 Relation 类别，它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。^
        ProbabilityRelation5这是一个 Relation 类别，它允许评估事件 或情况出现的机率。^
        SpatialRelation77这是一个广义的空间 Relation Class，这个 Class 包括分体论关系和拓扑关系。^
        TemporalRelation40这是时间 Relation 的 Class，这个 Class 包括间隔拓扑的(时间)概念、(时间)模式和(时间)延伸。^
        IntentionalRelation23这是 Agent 和一个或以上的 Entity 之间 的 Relation Class，这个 Relation 要求 Agent 对 Entity 有认知。^
        TernaryRelation386TernaryRelation 连接三个项目， TernaryRelation 的两个 subclass 是 TernaryPredicate 和 BinaryFunction。...^
        QuaternaryRelation32QuaternaryRelation 连接四个项目。 QuaternaryRelation 的两个 subclass 是 QuaternaryPredicate 和 Ternar...^
        QuintaryRelation10QuintaryRelation 连接物个项目。 QuintaryRelation 的两个 subclass 是 QuintaryPredicate 和 QuaternaryFu...^
        Predicate1424Predicate 是一个作句的 Relation，这个 Relation 的每一个元组都是物体有限、有序的的句子。一个特定组员是一个 Predicate 的元素这事实，由 '(*p...^
        VariableArityRelation12这是个没有固定数量参数的 Relation Class。^
        RelationExtendedToQuantities5 RelationExtendedToQuantities 是一个 Relation，如果它对一串 RealNumber 的参数值是真的，那么 他对一串有着和一些衡量单位幅度 Con...^
        PPPBasedEconomicValuation10^

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