Class URL

Root class of Uniform Resource Locators.

Subclass-Of: Uri

Axioms:

(<=> (Url ?Self)
     (And (Uri ?Self)
          (Minimum-Slot-Cardinality ?Self Web-Address-Of 1)))

• Defined in theory: Web-notions
• Source code: Web-Notions.lisp