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

Formal Language: 



KB Term: 

  AntisymmetricRelation

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 是 AntisymmetricRelation 如果不同的 ?INST1 和 ?INST2 是(?REL ?INST1 ?INST2) 不意味着 (?REL ?INST2 ?INST1)。也就是说当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2)和 (?REL ?INST2 ?INST1) 意味着 ?INST1 和 ?INST2 是相同的。注:一个AntisymmetricRelation 有可能 是一个 ReflexiveRelation
Relationships      
Parents 二元关系 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.


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