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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序...^
InheritableRelation1765Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。^
    SpatialRelation77 Relation の Class は、広い意味で空間的 である。この Class には、単なる関係とトポロジ的な関係が含まれる。^
        absoluteHeight.^
        typicalPart1^
        typicallyContainsPart.^
        initialPart.^
        initiallyContainsPart.^
        covers.^
        beforeOnPath.^
        FrontFn.Function は一般的に最も注目される側に Object をマップするか、もしくは通常 Object が移動する方向に向く。注：これは 一部の Objects に側面が ない為、...^
        BackFn.Function は、Object の FrontFn の反対側に マップされている。注：これは 一部の Objects に側面がない為、部分的関数である。例：リンゴと球。 Im...^
        part27基本的な数学的関係。 他のすべての単なる関係は、この関係 で定義される。 (part ?PART ?WHOLE) とは、単にObject ?PARTは Object ?WHOLEの一部、...^
        hole.(hole ?HOLE ?OBJ) とは、Hole が ?OBJ の Hole で あることを意味する。Hole は、surface Object に位置する書き込み可能なボ...^
        contains.２つの分離可能なオブジェクトの空間コンテインメントの 関係。2つのオブジェクトが分離できない場合(例:自動車とその座席の1つ)、part の関係を使用する必要が ある。　(contains ...^
        partlyLocated20(partlyLocated ?OBJ1 ?OBJ2) とは、 Physical ?OBJ1 のインスタンスが少なくとも部分的に ?OBJ2 に配置されたことを意味する。　例： イスタンブー...^
        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 は trav...^
        WhereFn.Object と Object が存在する TimePoint を、 その TimePoint に Object が存在していた Region にマップする。^
        distance1(distance ?OBJ1 ?OBJ2 ?QUANT) とは、２つのオブ ジェクト ?OBJ1と ?OBJ2の間の最短距離が ?QUANであることを意味する。注：述語 length と ...^
        larger.(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。^
        smaller.(smaller ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 より もすべての LengthMeasure に対して小さいことを意味する。^
        connected2(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である...^
        connects1３つの物事の関係は、３つのうちの１つが他の２つを接続 するときである。より正式には、(connects ?OBJ1 ?OBJ2 ?OBJ3) とは、 (connected ?OBJ1 ?OB...^
        MereologicalSumFn.(MereologicalSumFn ?OBJ1 ?OBJ2) は、 ?OBJ1 または ?OBJ2 のいずれかに属するパーツから成る Objectを示す。^
        MereologicalProductFn.(MereologicalProductFn ?OBJ1 ?OBJ2) は、?OBJ1 と ?OBJ2 の両方に属するパーツからなる Object を示す。^
        MereologicalDifferenceFn.(MereologicalDifferenceFn ?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される Object を示す。^
        partiallyFills3(partiallyFills ?OBJ ?HOLE) は、?OBJ が ?HOLE の一部を completelyFills ことを意味する。注１：(partiallyFills ?O...^
        orientation.^
        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