GreaterThan Relation

From GM-RKB
Jump to navigation Jump to search

A GreaterThan Relation is a Strict Total Order Relation over the Real Numbers.