Theory WEB-NOTIONS

• Last modified: Friday, 15 December 2000
• Source code: Web-Notions.lisp
• List of other known theories

Theory documentation:

Theories included by Web-Notions:

  Localization
  Representation

Theories that include Web-Notions:

  Guidelines

10 classes defined:

    Uri
       Url
          Ftp-Url
          Http-Url
          News-Url
             News-Article
             News-Group
          Telnet-Url
    Web
    Web-Site

5 relations defined:

  Last-Date-Of-Checking-Of
  Web-Address
  Web-Address-Of
  Web-Reference
  Web-Reference-Of

1 function defined:

  Last-Checked

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Extrinsic-Structuring-Relation defined as a relation in theory Structuring-Concepts
• Function defined as a class in theory Kif-Relations
• Interpretant-Of defined as a relation in theory Representation
• Inverse defined as a function in theory Kif-Relations
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Object defined as a class in theory Top-Level
• Part-Of defined as a relation in theory Mereology
• Range defined as a relation in theory Frame-Ontology
• Region defined as a class in theory Localization
• Relation defined as a class in theory Kif-Relations
• Software-Program defined as a class in theory Representation
• Strictly-Depends-On defined as a relation in theory Dependence
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Symbolic-String defined as a class in theory Representation
• Value-Cardinality defined as a function in theory Frame-Ontology
• _Abstract defined as a relation in theory Layers

The following constants were used from theories not included:

• Date-Value-Filler defined as a class in theory Unrestricted-Time
• Time-Value defined as a function in theory Unrestricted-Time

All constants that were mentioned were defined.