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

Formal Language: 



KB Term: 

  TotalOrderingRelation

Sigma KEE - TotalOrderingRelation
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
全序关系
一个 BinaryRelationTotalOrderingRelation 如果它是一个 PartialOrderingRelationTrichotomizingRelation
Relationships      
Parents 偏序关系 A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.
  三分关系 A BinaryRelation ?REL is a TrichotomizingRelation just in case all ordered pairs consisting of distinct individuals are elements of ?REL.


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