
IfcDocumentElectronicFormat
         
	 Definition from IAI: An IfcDocumentElectronicFormat
		captures the type of document being referenced as an external source,and for
		which metadata is specified by IfcDocumentInformation. 
 
	  HISTORY: New entity in IFC 2x
 
EXPRESS specification:
        
          
            |  | 
                
                  | ENTITY IfcDocumentElectronicFormat; |  
                
                  |  | 
                      
                        |  | 
                            
                              | WR1 | : | EXISTS(FileExtension) OR EXISTS(MimeContentType); |  |  |  | 
        
Attribute definitions:
        
          
            | FileExtension | : | File extension of electronic document used by computer operating system. | 
          
            | MimeContentType | : | Main Mime type (as published by W3C or as user defined application type) | 
          
            | MimeSubtype | : | Mime subtype information. | 
        
Formal Propositions:
        
          
            | WR1 | : | In order to specify a valid electronic document format either the file extension or the MIME type has
              to be given. | 
        
Inheritance graph
        
          
            |  | 
                
                  | ENTITY IfcDocumentElectronicFormat; |  |