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

Formal Language: 



Sigma KEE - TransitiveRelation
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 ?REL は、すべての ?INST1, ?INST2, および ?INST3 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST3) が (?REL ?INST1 ?INST3) を意味する場合、推移的である。
Relationships      
Parents 2項関係 BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
Children 同値関係A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.
 半順序関係A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.
InstancesancestorThe transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc.
 ancestorOrganization(ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organization ?ORG2.
 before(before ?POINT1 ?POINT2) とは、?POINT1が、ユニ バーサルタイムラインで ?POINT2に先行する、という意味である。
 brotherThe general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.
 conjugate(conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other.
 connectedBodyPartA Relation between Classes of parts of a Healthy Animal that are connected.
 coversA relationship of partial or complete physical covering, which may be the result of a Covering. To cover an object, the first object must at least roughly conform to the surface of the second object.
 crosses(crosses ?OBJ1 ?OBJ2) とは、Object ?OBJ1 が Object ?OBJ2 に 接続させれずに traverses
 dependentGeopoliticalArea(dependentGeopoliticalArea ?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the GeopoliticalArea ?AREA2 and is not a geopoliticalSubdivision of ?AREA2. For example, (dependentGeopoliticalArea Guam UnitedStates), because Guam is a territory of the UnitedStates, not one of the fifty U.S. states. Contrast primaryGeopoliticalSubdivision.
 developmentalForm(developmentalForm ?OBJECT ?FORM) means that ?FORM describes a stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively.
 during(during ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1が ?INTERVAL2の後に始まり、?INTERVAL2の前に終了することを意味する。
 earlier(earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。
 finishes(finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterval であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。
 flows(flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected.
 geographicSubregion(geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE.
 geopoliticalSubdivision(geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2, that is, ?AREA1 is an integral geographicSubregion of ?AREA2 (not a DependencyOrSpecialSovereigntyArea), having its own associated GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. dependentGeopoliticalArea.
 greaterThan(greaterThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2よりも大きい場合に当てはまる。
 interiorPart(interiorPart ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と superficialPart ?OBJ2 の間に重複がないことを意味する。
 larger(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。
 lessThan(lessThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2 より小さい場合に当てはまる。
 located(located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。
 multiplicativeFactor(multiplicativeFactor ?NUMBER1 ?NUMBER2) とは、?NUMBER1 が ?NUMBER2 の係数、すなわち ?NUMBER2 であることを意味する。?NUMBER1 は、結果として ?NUMBER2 を与えるためにいくつかの Intege を乗算できる。
 precondition非常に一般的な Predicate。(precondition ?PROC1 ?PROC2) とは、?PROC1 のインスタンスが存在する場合にのみ ?PROC2 のインスタンスが存在できる ことを意味する。
 properPart(properPart ?OBJ1 ?OBJ2) とは、?OBJ1が?OBJ2 自体以外、?OBJ2の一部である。これは、TransitiveRelationAsymmetricRelation である。 (したがって、IrreflexiveRelation)。
 sisterThe general relationship of being a sister. (sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON.
 smaller(smaller ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 より もすべての LengthMeasure に対して小さいことを意味する。
 starts(starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。
 stored(stored ?REC ?OBJ) means that some ContentBearingObject, encoded in some format, is saved in some DataStorageDevice and can be accessed in some future date.
 subField(subField ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper part of the ?FIELD2. For example, Physiology is a subField of Biology.
 subGraph一方の Graph がもう一方の Graph の一部である 場合の2つの Graph の関係。 (subGraph ?GRAPH1 ?GRAPH2) とは、?GRAPH1が ?GRAPH2の一部である ことを意味する。
 subPlan(subPlan ?PLAN1 ?PLAN2) とは、?PLAN1が?PLAN2の 適切な部分である Plan であることを意味する。この関係は、一般に、特定のコンテキストでサポート Plan を全体的な Plan に関連付けるために使用される。
 subProposition(subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味である。言い換え れば、subProposition は、大量の抽象的なコンテンツの properPart の類似体である。
 successorAttributeClosuresuccessorAttribute の推移的 閉鎖。 (successorAttributeClosure ?ATTR1 ?ATTR2) とは、?ATTR1と?ATTR2を接続する  successorAttribute アサーションのチェーンがる、という意味である。
 successorClass次のクラスは、曜日などのクラスのシーケンスであ る。最初の引数は、2番目の引数の 「前」 である。
 superficialPart(superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFnMereologicalProductFn 下の閉ざされた推移的な関係である。
 versionSome Artifacts have a life cycle with discrete stages or versions. (version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this Predicate relates subclasses of Artifact and not instances.


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