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

Formal Language: 



Sigma KEE - PartialOrderingRelation
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
半順序関係
BinaryRelation は、 ReflexiveRelationAntisymmetricRelation、および TransitiveRelation の場合の部分的な 順序付けである。
Relationships      
Parents 反対称関係 BinaryRelation ?REL is an AntisymmetricRelation if for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1). In other words, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical. Note that it is possible for an AntisymmetricRelation to be a ReflexiveRelation.
  反射関係 Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.
  合計値関係 A Relation is a TotalValuedRelation just in case there exists an assignment for the last argument position of the Relation given any assignment of values to every argument position except the last one. Note that declaring a Relation to be both a TotalValuedRelation and a SingleValuedRelation means that it is a total function.
  推移関係 A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.
Children 全順序関係A BinaryRelation is a TotalOrderingRelation if it is a PartialOrderingRelation and a TrichotomizingRelation.
InstancesbeforeOrEqual(beforeOrEqual ?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。
 coordinates(coordinates ?PROCESS1 ?PROCESS2) means that ?PROCESS1 coordinates ?PROCESS2
 geometricPart(geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE.
 greaterThanOrEqualTo(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1が Quantity ?NUMBER2以上の場合に当てはまる。
 initialList(initialList ?LIST1 ?LIST2) とは、?LIST1は ?LIST2 の sL であり、(ListOrderFn ?LIST1 ?NUMBER) は ?NUMBER の値 (ListOrderFn ?LIST1 ?NUMBER) が定義されているすべての値に対して (ListOrderFn ?LIST2 ?NUMBER) と同じ値を返す。
 lessThanOrEqualTo(lessThanOrEqualTo ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1が Quantity ?NUMBER2以下の場合に当てはまる。
 abstractPartA meronymy relation similar to part, but for abstract rather than physical things.
 part基本的な数学的関係。 他のすべての単なる関係は、この関係 で定義される。 (part ?PART ?WHOLE) とは、単にObject ?PARTは Object ?WHOLEの一部、という意味である。 注:part が ReflexiveRelation のため、すべての Object はそれ自体の一部である。
 subAttribute2番目の引数が、最初の引数が割り当てられているす べてのものに割り当てられる、という意味である。
 subCollection(subCollection ?COLL1 ?COLL2) とは Collection ?COLL1が、Collection ?COLL2C2の適切な部分、という意味である。
 subLanguage(subLanguage ?Language-1 ?Language-2) means that ?Language-1 is included in, or subsumed by, ?Language-2. Since subLanguage is a ReflexiveRelation, every Language is a subLanguage of itself.
 subList(subList ?LIST1 ?LIST2) とは、?LIST1 が ?LIST2 のサブリスト、すなわち ?LIST2 であることを意味する。?LIST1 のすべての要素は ?LIST2 の要素であり、 両方の List に共通する要素は両方の List で同じ順序である。両方のリストに共通で、一方のリストで 連続している要素も、もう一方のリストで連続している必要がある。(したがって- 10より小さい素数の リスト[1 2 3 5 7]は、10[1 2 3 5 6 7 8 9]より小さい自然数のサブリストではない。
 subOrganization(subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a part of the Organization ?ORG2. Note that subOrganization is a ReflexiveRelation, so every Organization is a subOrganization of itself.
 subProcess(subProcess ?SUBPROC ?PROC) は、?SUBPROC が ?PROC のサブプロセスであることを意味する。サブプロセスは、 Process の一時的に区別された部分(適切 かどうか)として理解されている。
 subclass(subclass ?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の subclass である、という意味である。例えば、?CLASS1のすべての instance も?CLASS2 の instance である。
 subrelation(subrelation ?REL1 ?REL2) とは、?REL1 の すべてのタプルは ?REL2 のタプルでもある、という意味である。 言い換えれば、Relation ?REL1 は いくつかの引数 arg_1、 arg_2 ... arg_n、 に対して保持される。 そして Relation ?REL2 は同じ 引数を保持する。 この結果、Relation とそのサブリレーションが同じ valence でなければなら ない。
 subsumesContentClassBinaryPredicate は、 ContentBearingPhysical の2つのサブクラスを関連付ける 。(subsumesContentClass ?CLASS1 ?CLASS2) とは、?CLASS2の各インスタンスによって表されるコンテンツも ?CLASS1の各インスタンスによっ て表される。 例:詩とそのスタンザの1つまたは本とその章の間の関係。 注1:これはインスタンスでは なく、ContentBearingObject のサブクラス間の関係である。インスタンスを関連付けたい場合は、 Predicate subsumesContentInstance を使用できる。 注2:多くの場合、subsumesContentClass が必要である。例えば、聖書のジェームズ王版とその創世記との関係を考えてみる。このリレーションシップは、 単一のインスタンスだけでなく、このエディションのすべてのコピーに対して当てはまる。
 subsumesContentInstanceBinaryPredicate は、 ContentBearingPhysical の2つのインスタンスに関連する。(subsumesContentInstance ?OBJ1 ?OBJ2) とは、?OBJ2によって表されるコンテンツが?OBJ1によって表されるコンテンツの一部であることを意味する。 例として、手書きの詩とそのスタンザの関係である。 注:これは、Classes ではなく、インスタンス間の 関係である。 Classes 間のコンテンツリレーションシップをアサートする場合、(例えば、知的な仕事の バージョンとその作業の一部の間など)関係 subsumesContentClass を使用する必要がある。
 temporalPart空間 part 述部の時間アナログ。(temporalPart ?POS1 ?POS2) とは、TimePosition ?POS1が TimePosition ?POS2 の一部であることを意味する。 注:temporalPart はすべての TimePostion の ReflexiveRelation であるため、それ自体の TimePostion である。


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