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

Formal Language: 


KB Term: 

  Entity

 Sigma KEE - AntisymmetricRelation
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 の場合は AR であり、(?REL ?INST1 ?INST2) は (?REL ?INST2 ?INST1) を意味 しない。つまり、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST1) は、?INST1 と ?INST2 が同一であることを意味する。　注： AntisymmetricRelation が ReflexiveRelation になる可能性がある。
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 asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.
 半順序関係A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.
InstanceskeyName(keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing.
 legalGuardian(holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1, ?H2 has legal authority over ?H1, and is responsible for looking after ?H1's interests.
 located(located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。
 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.
 subString(subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


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