This is a transcription of the taxonomy of fundamental objects in algernon.
This is maintained as HTML but it's converted to RDF form using a transformation. Use the namespace name http://www.w3.org/2000/07/hs78/algernon# to refer to these properties and classes in RDF 1.0 syntax.
@@TODO: express the relationship between algernon:subset and rdfs:subClass, etc.
@@this is an if-added rule on things. We could use some "for all things x ... " notation. hmm....
here's a "slot rule", i.e. quantification over slots (predicates)
or, in RDF terms, properties
(isa ?x ?s) = ?x is a member of the set ?s.
(member ?s ?x) = A member of ?s is ?x.
(subset ?s1 ?s2) = A subset of ?s1 is ?s2.
(superset ?s1 ?s2) = A superset of ?s1 is ?s2.
The selfset of x is the set {x}.
(less ?x ?y) = ?x less than ?y.
(greater ?x ?y) = ?x greater than ?y.
(equal ?x ?y) = ?x is equal to ?y.
(least ?x ?s) = ?x is the least member of ?s.
(greatest ?x ?s) = ?x is the greatest member of ?s.