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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组...^
InheritableRelation1765这是一个 Relation 类别，它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。^
    SpatialRelation77这是一个广义的空间 Relation Class，这个 Class 包括分体论关系和拓扑关系。^
        absoluteHeight.^
        typicalPart1^
        typicallyContainsPart.^
        initialPart.^
        initiallyContainsPart.^
        covers.^
        beforeOnPath.^
        FrontFn.这是一个Function ，它能把 Object 转到一般能够得到 最大程度关注或者说通常是面对该 Object 移动的方向的那一面。注：这是一个部分函数， 因为有一些 Object...^
        BackFn.这个 Function 把 Object 转到 与 这个 Object 的 FrontFn 相反的那面。注：这是一个部分函数， 因为有一些 Object 是没有侧面的，例如苹果和...^
        part27这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一...^
        hole.(hole ?HOLE ?OBJ)的意思是 ?HOLE 是在 ?OBJ 的一个 HoleRegion。 一个 HoleRegion 是位于一个 Object surface 可以...^
        contains.这是两个可分离物体的空间容量关系。 用于不可分离的物体（如汽 车和它的座位)时，应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnecte...^
        partlyLocated20(partlyLocated ?OBJ1 ?OBJ2)的意思是 Physical 的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如：伊斯坦布尔有一部分位于 Asia, 并有一部分位...^
        between.(between ?OBJ1 ?OBJ2 ?OBJ3) 的意思是 ?OBJ2 在空间上 位于 ?OBJ1 和 ?OBJ3 之间。 注：这意味着 ?OBJ2 正正位于在 ?OBJ1 和?OBJ3 之间...^
        betweenOnPath.(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) 的意思是 ?OBJ2 所处的路径 ?PATH 在空间上位于 ?OBJ1 和 ?OBJ3 之间。注：这是之间的一个更加专...^
        traverses2(traverses ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 横过或者 是延伸跨越跨 ?OBJ2. 注：crosses 和 penetrates是 traverses 的子类...^
        WhereFn.这个函数把一个 Object 和 一个 TimePoint 连在一起， 它的意思是这个 Object 在 TimePoint 存在于 Region。^
        distance1(distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注：谓词 length 和 distance 之间的...^
        larger.(larger ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 大。^
        smaller.(smaller ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 小。^
        connected2(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。^
        connects1这是一个联系三样东西的关系，它出现在当三样东西之中的一个把 另外的两个联系起来的时候，更正规的说，(connects ?OBJ1 ?OBJ2 ?OBJ3)的意思是 (connected ?O...^
        MereologicalSumFn.(MereologicalSumFn ?OBJ1 ?OBJ2)表示 这个 Object 含有属于 ?OBJ1 或 ?OBJ2 的部分。^
        MereologicalProductFn.(MereologicalProductFn ?OBJ1 ?OBJ2)表示 Object 含有属于 ?OBJ1 和 ?OBJ2 两者的部分。^
        MereologicalDifferenceFn.(MereologicalDifferenceFn ?OBJ1 ?OBJ2)表示 Object 包含属于 ?OBJ1 但不属于 ?OBJ2 的部分。^
        partiallyFills3(partiallyFills ?OBJ ?HOLE)的意思是?OBJ completelyFills ?HOLE 的某些部分。注：如果(partiallyFills ?OBJ1 ?HO...^
        orientation.这是一个用来表示两个 Object 相对于彼此的定向的 Predicate。 例如：(orientation ?OBJ1 ?OBJ2 North)第意思是 ?OBJ1 在 ?OBJ2 的北方...^
        physicalAmplitude.^
        cylinderBore.^

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