Class WEB

Subclass-Of: Region

Axioms:

(Slot-Cardinality Web _Abstract 1)

(=> (Web ?Self)
    (Exists (?A)
            (And (Strictly-Depends-On ?Self ?A)
                 (Software-Program ?A))))

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