ABSTRACT This definition may not be instantiated
220.127.116.11.1 Semantic definition
IfcRoot is the most abstract and root class for all entity definitions that roots in the kernel or in subsequent layers of the IFC specification. It is therefore the common supertype of all IFC entities, beside those defined in an IFC resource schema. All entities that are subtypes of IfcRoot can be used independently, whereas resource schema entities, that are not subtypes of IfcRoot, are not supposed to be independent entities.
18.104.22.168.2 Entity inheritance
Assignment of a globally unique identifier within the entire software world.
Assignment of the information about the current ownership of that object, including owning actor, application, local identification and information captured about the recent changes of the object,
Optional name for use by the participating software systems or users. For some subtypes of IfcRoot the insertion of the Name attribute may be required. This would be enforced by a where rule.
Optional description, provided for exchanging informative comments.
22.214.171.124.4 Formal propositions
126.96.36.199.5 Concept usage
Ownership, history, and merge state is captured using IfcOwnerHistory.
IfcRoot assigns the globally unique ID. In addition it may provide for a name and a description about the concept.
188.8.131.52.6 Formal representation
ENTITY IfcRoot ABSTRACT SUPERTYPE OF (ONEOF (IfcObjectDefinition ,IfcPropertyDefinition ,IfcRelationship)); GlobalId : IfcGloballyUniqueId; OwnerHistory : OPTIONAL IfcOwnerHistory; Name : OPTIONAL IfcLabel; Description : OPTIONAL IfcText; UNIQUE UR1 : GlobalId; END_ENTITY;