(instance filename BinaryRelation)
(subRelation filename names)
(domain filename 1 SymbolicString)
(domain filename 2 ComputerData)
(relatedInternalConcept filename directoryOf)
(documentation filename "A relation between a &%SymbolicString and an 
instance of &%ComputerData that specified the filename of the data on a 
particular computer file system.  This relation is for a fully qualified 
filename including a device specification such as a drive letter or name, 
a directory, and a name.  This can include names that are aliases for a 
different physical file location.  It does not include the specification 
of a particular machine on a network, such as an internet domain name, 
although it may reference a device specification that ultimately resolves 
to a storage device on a network.") 

;; documentation from QoSOntology.txt changed
;; (documentation directoryOf "(directoryOf ?FILE ?DIRECTORY) means that the 
;; ComputerFile ?FILE is in the ComputerDirectory ?DIRECTORY.  Note that the
;; directory of a file is a component of the fully qualified name specification
;; given to the relation &%filename.  Note also that the directory does not
;; include the specification of a machine location on the Internet.  See
;; &%filename for more information.") 

;; Note this is just a "sketch" of the definitions of Mime types, which would
;; need to be axiomatized
                                 
(subclass MimeEncodingScheme CodingScheme)
(documentation MimeEncodingScheme "A coding scheme and designator for
coding Internet messages, usually for consumption by web browsers.  The
scheme designator should conform to IETF RFC 2045.")

(subclass MimeText MimeEncodingScheme)
(documentation MimeText "Supplementary subclass for Core Components from Adam Pease, November 2004")

(subclass MimeEnrichedText MimeText)
; many other subtypes should follow...
(documentation MimeEnrichedText "Supplementary subclass for Core Components from Adam Pease, November 2004")

(subclass MimeImage MimeEncodingScheme)
(documentation MimeImage "Supplementary subclass for Core Components from Adam Pease, November 2004")

(subclass MimeAudio MimeEncodingScheme)
(documentation MimeAudio "Supplementary subclass for Core Components from Adam Pease, November 2004")

(subclass MimeVideo MimeEncodingScheme)
(documentation MimeVideo "Supplementary subclass for Core Components from Adam Pease, November 2004")

(subclass MimeApplication MimeEncodingScheme)
(documentation MimeApplication "Supplementary subclass for Core Components from Adam Pease, November 2004")

(subclass MimeMessage MimeEncodingScheme)
(documentation MimeMessage "Supplementary subclass for Core Components from Adam Pease, November 2004")

(subclass MimeMultipart MimeEncodingScheme) 
(documentation MimeMultipart "Supplementary subclass for Core Components from Adam Pease, November 2004")

(instance mimeType BinaryRelation)
(subRelation mimeType coding)
(domain mimeType 2 MimeEncodingScheme)
(documentation mimeType "A relation between &%ComputerData and the 
MIME type it is coded in, with respect to IETF RFC 2045.")

(instance mimeSubType BinaryRelation)
(subRelation mimeSubType coding)
(documentation mimeSubType "A relation between &%ComputerData and the 
MIME subtype it is coded in, with respect to IETF RFC 2046.")

(subclass EncodingProcedure Procedure)
(documentation EncodingProcedure "A &%Procedure for performing an
&%Encoding.")

;; end of CCTsup.kif -- the supplementeary data for Core
;; components provided by Adam Pease Nov 5, 2004