Class WEB-GL

A guideline represented in a document (text, diagram, etc.) having a web address.
Subclass-Of: Guideline
Axioms:
(Slot-Value-Type Web-Gl Adapted-From Paper-Reference)

(=> (Web-Gl ?Self)
    (And (Exists (?A) (And (Web-Reference ?Self ?A) (Url ?A)))
         (Exists (?B)
                 (And (Web-Reference ?Self ?B)
                      (Url ?B)
                      (Cardinality (Setofall ?C (Last-Checked ?B ?C))
                                   1)))))