Class WEB-SITE

Subclass-Of: Region

Axioms:

(Slot-Cardinality Web-Site _Abstract 1)

(=> (Web-Site ?Self) (Exists (?A) (And (Part-Of ?Self ?A) (Web ?A))))

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