thingsrulesobjectssetsbooleanscontextsslotsorder-relationstc-order-relationsequivalence-relations
isa(isa
?x ?s) = ?x is a member of the set ?s.
member
(member ?s ?x) = A member of ?s is ?x.
subset
(subset ?s1 ?s2) = A subset of ?s1 is ?s2.
superset
(superset ?s1 ?s2) = A superset of ?s1 is ?s2.
selfsetThe
selfset of x is the set {x}.
less(less
?x ?y) = ?x less than ?y.
greater
(greater ?x ?y) = ?x greater than ?y.
equal(equal
?x ?y) = ?x is equal to ?y.
least(least
?x ?s) = ?x is the least member of ?s.
greatest
(greatest ?x ?s) = ?x is the greatest member of ?s.