This page was saved using WebZIP 6.0.8.918 on 10/09/06 15:41:58.
Address: http://www.iai-international.org/Model/documentation/R20/Online_Documents/Documents/IfcSharedSpatialElements.htm
Title: IFC R2.0 Final  •  Size: 45425  •  Last Modified: Wed, 01 Aug 2001 07:13:32 GMT

Specification for IfcSharedSpatialElements

Link to EXPRESS Definition

EXPRESS Definition

Link to EXPRESS-G Diagram

EXPRESS-G Diagram


Table of contents


Simple Types

  • No Simple Types defined in this Schema
  • Select Types

  • No Select Types defined in this Schema
  • Enumerations

    A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

    L IfcLossOrGainEnum
    O IfcOccupantTypeEnum
    R IfcRequirementOrCriteriaEnum
    IfcResidentEnum
    U IfcUseCaseSourceEnum
    V IfcVisitorEnum

    Class Definitions

    A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

    F IfcFireCompartment
    O IfcOccupancyNumber
    IfcOccupant
    R IfcRelOccupiesSpaces
    S IfcSpaceUseCase

    Functions

  • No Functions defined in this Schema

  • Schema Semantic Definition

    The Schema IfcSharedSpatialElements is defined at the Interoperability Layer and covers the definition of spatial elements that are shared among several IFC domain or application type models. It enhances the definition of space as specified at the IfcProductExtension schema.


    Type IfcLossOrGainEnum

    Link to EXPRESS Definition

    EXPRESS Definition

    Type Semantic Definition

    Definition from IAI: This enumeration defines the thermal use cases as either being a loss or a gain to the space.

    History

    New Enumeration in IFC Release 2.0

    Enumeration

    Loss

    Gain

    NotDefined


    Type IfcOccupantTypeEnum

    Link to EXPRESS Definition

    EXPRESS Definition

    Type Semantic Definition

    Definition from IAI: This enumeration defines the available Generic Types for IfcOccupant.

    History

    New Enumeration in IFC Release 2.0

    PreDefined Type

    This enumeration defines the available PreDefined Types for IfcOccupant

    Enumeration

    Owner

    Lessee

    Tenant

    Assignee

    UserDefined

    NotDefined


    Type IfcRequirementOrCriteriaEnum

    Link to EXPRESS Definition

    EXPRESS Definition

    Type Semantic Definition

    Definition from IAI: This enumeration defines whether the thermal use case is a requirement for a particular thermal space quality or a criteria.

    History

    New Enumeration in IFC Release 2.0

    Enumeration

    Requirement

    Criteria

    NotDefined


    Type IfcResidentEnum

    Link to EXPRESS Definition

    EXPRESS Definition

    Type Semantic Definition

    Definition from IAI: This enumeration defines the different categories under which visitors of a space or building can be classified.

    History

    New Enumeration in IFC Release 2.0

    Enumeration

    Intermittent

    Regular

    Permanent

    NotDefined


    Type IfcUseCaseSourceEnum

    Link to EXPRESS Definition

    EXPRESS Definition

    Type Semantic Definition

    Definition from IFC: This enumeration defines the various sources of thermal loads or gains for spaces, derived from various use cases.

    History

    New Enumeration in IFC Release 2.0

    Enumeration

    Person

    Lighting

    Machine

    VentilationInnerAir

    VentilationOuterAir

    ExhaustAir

    AirExchangeRate

    DryBulbTemperature

    RelativeHumidity


    Type IfcVisitorEnum

    Link to EXPRESS Definition

    EXPRESS Definition

    Type Semantic Definition

    History

    New Enumeration in IFC Release 2.0

    Enumeration

    Intermittent

    Regular

    NotDefined


    Class IfcFireCompartment

    Link to the Fully Attributed View

    Fully Attributed View

    Link to EXPRESS Definition

    EXPRESS Definition

    Class Semantic Definition

    Definition from IAI: The Fire Compartment class (IfcFireCompartment) is considered as a specialization of Space (IfcSpace) for fire compartmentation purposes. It is an aggregate of spaces under this view, using the IfcRelAssemblesSpaces objectified relationship. It defines the geometric information about the fire compartment, the fire use classification, fire risk factors and information, whether this compartment is ventilated or sprinkler protected.

    History

    New Class in IFC Release 2.0

    Attribute and Relationship Definitions

    Superclasses and Subclasses

     IfcRoot
     IfcObject
     IfcProduct
     IfcSpatialElement
     IfcSpace
     IfcFireCompartment

    Attributes and Relationships

    Attribute type (OPT, DER, INV)

    Redefinition (SELF)

    Attribute / Relation

    Data or Rel. type

    Definition

    OPT

    calcHeightAboveGrade

     

    IfcLengthMeasure

    Height of floor of top storey of Fire Compartment above accessible horizontal surface external to the Fire Compartment.

    OPT

    MainFireUse

     

    IfcClassification

    Main fire use for the space which is assigned from the Fire Use Classification.

    OPT

    AncillaryFireUse

     

    IfcClassification

    Ancillary fire use for the space which is assigned from the Fire Use Classification.

    OPT

    FireRiskFactor

     

    INTEGER

    Fire Risk factor assigned to the space

     

    HasNaturalVentilation

     

    LOGICAL

    Indication whether the space is ventilated natural (true) or mechanical (false).

     

    HasSprinklerProtection

     

    LOGICAL

    Indication whether the space is sprinkler protected (true) or not (false).

    Formal Propositions

    WR61

    The fire compartment class can only exists as an assembly of spaces

    HIINDEX(SELF\IfcSpace.IsAssemblyThrough)=1

    WR62

    The fire compartment shall not assemble other fire compartments

    SIZEOF(QUERY(temp <* SELF\IfcSpace.IsAssemblyThrough[1].RelatedSpaces | 'IFCSHAREDSPATIALELEMENTS.IFCFIRECOMPARTMENT' IN TYPEOF(temp))) = 0

    Geometry Use Definitions

    The geometric use cases for IfcFireCompartment are defined at its supertype IfcSpace.


    Class IfcOccupancyNumber

    Link to the Fully Attributed View

    Fully Attributed View

    Link to EXPRESS Definition

    EXPRESS Definition

    Class Semantic Definition

    Definition from IAI: The Occupancy Number Class (IfcOccupancyNumber) contains all information about the actual and planned, internal and cumulative occupancy numbers and occupancy rate. In addition more detailed information about the physical ability, the type of occupiers (residents or visitors), and the type of occupancy (intermittent, regular, permanent) are captured.

    History

    New Class in IFC Release 2.0

    Attribute and Relationship Definitions

    Superclasses and Subclasses

     IfcRoot
     IfcPropertyDefinition
     IfcOccupancyNumber

    Attributes and Relationships

    Attribute type (OPT, DER, INV)

    Redefinition (SELF)

    Attribute / Relation

    Data or Rel. type

    Definition

    OPT

    ActualOccupancyNumber

     

    INTEGER

    The actual number of persons housed in a space, zone or building at a given time, usually in an existing accommodation.

    OPT

    DesignIntentOccupancyNumber

     

    INTEGER

    The number of persons housed in a space, zone or building as specified in the Design Brief.

    OPT

    ActualCumulativeOccupancyNumber

     

    INTEGER

    The actual number of occupants in a space, zone, or building, plus that arriving from adjacent evacuated spaces.

    OPT

    DesignIntentCumulativeOccupancyNumber

     

    INTEGER

    The design intent number of occupants in a space, zone, or building, plus that arriving from adjacent evacuated spaces.

    OPT

    OccupancyRate

     

    IfcMeasureWithUnit

    Occupancy per Area Measure as specified for a specific function of the space, usually given by a recognized standard. The usually used unit is Person/m².

    OPT

    ActualNumberOfResidents

     

    INTEGER

    The actual number of residents housed in a space.

    OPT

    DesignIntentNumberOfResidents

     

    INTEGER

    The number of residents housed in a space as specified in the Design Brief.

    OPT

    ResidentsOccupancyType

     

    IfcResidentEnum

    Resident, those who either live or work in the space under consideration, occupy the space.

    OPT

    ActualNumberOfVisitors

     

    INTEGER

    The actual number of visitors occupying a space in a given time.

    OPT

    DesignIntentNumberOfVisitors

     

    INTEGER

    The number of visitors occupying a space in a given time as specified in the Design Brief.

    OPT

    VisitorsOccupancyType

     

    IfcVisitorEnum

    Visitors - coming into the space for the purpose of visiting, viewing; but do not come to carryout any duties, normally performed, within the space by the residents; or for the residents.

    OPT

    ActualPercentageRequiringAssistance

     

    IfcPositiveRatioMeasure

    Actual percentage of all occupance, that require assistence in case of fire escaping, e.g. disabled people or youngsters.

    OPT

    DesignIntentPercentageRequiringAssistance

     

    IfcPositiveRatioMeasure

    Design intent percentage of all occupance, that require assistence in case of fire escaping, e.g. disabled people or youngsters.

    Geometry Use Definitions

    Instances of this class have no physical presence and therefore no geometric representation.


    Class IfcOccupant

    Link to the Fully Attributed View

    Fully Attributed View

    Link to EXPRESS Definition

    EXPRESS Definition

    Class Semantic Definition

    Definition from IAI: The Occupant Class (IfcOccupant) contains all information about the occupancy owner, tenant, or lessee for the referenced space, zone, or building. An occupant is an actor within the project, characterized by its ownership relation to spaces.

    The sum of all IfcOccupant instances assigned to a space, zone or building, combines all information about the occupancy aspect for spaces, zones, or buildings. In particular:

    History

    New Class in IFC Release 2.0

    Attribute and Relationship Definitions

    Superclasses and Subclasses

     IfcRoot
     IfcObject
     IfcActor
     IfcOccupant

    Attributes and Relationships

    Attribute type (OPT, DER, INV)

    Redefinition (SELF)

    Attribute / Relation

    Data or Rel. type

    Definition

     

    PredefinedType

     

    IfcOccupantTypeEnum

    Predefined types are specified in an enumeration. A Property Type Definition is available for each predefined type .

    Formal Propositions

    WR41

    The user defined type has only to be given, if the value of the predefined type is UserDefined

    ((PredefinedType = IfcOccupantTypeEnum.UserDefined) AND EXISTS(SELF\IfcObject.UserDefinedType)) OR ((PredefinedType <> IfcOccupantTypeEnum.UserDefined) AND NOT(EXISTS(SELF\IfcObject.UserDefinedType)))

    WR42

    The occupant shall play an occupancy role as expressed by the IfcRelOccupiesSpaces relationship.

    SIZEOF(QUERY(temp <* SELF\IfcActor.IsActingUpon | NOT('IFCSHAREDSPATIALELEMENTS.IFCRELOCCUPIESSPACES' IN TYPEOF(temp))))=0

    Type Definitions

    Type driven PropertySets

    PreDefined Type

    Associated PropertySet

    Owner

    Pset_OccupantOwner

    Lessee

    Pset_OccupantLeesee
    IfcCalendarDate

    Tenant

    Pset_OccupantTenant
    IfcCalendarDate

    Assignee

    Pset_OccupantAssignee

    NotDefined

     

    UserDefined

     

    Geometry Use Definitions

    Instances of this class have no physical presence and therefore no geometric representation.


    Class IfcRelOccupiesSpaces

    Link to the Fully Attributed View

    Fully Attributed View

    Link to EXPRESS Definition

    EXPRESS Definition

    Class Semantic Definition

    Definition from IAI: The relationship object IfcRelOccupiesSpaces further constrains the parent relationship IfcRelActsUpon to a relationship between occupants (IfcOccupant) and either a space (IfcSpace), a collection of spaces (IfcZone), a building story (IfcBuildingStorey), or a building (IfcBuilding).

    History

    New Class in IFC Release 2.0

    Attribute and Relationship Definitions

    Superclasses and Subclasses

     IfcRoot
     IfcRelationship
     IfcRelActsUpon
     IfcRelOccupiesSpaces

    Attributes and Relationships

    No attributes defined on this level.

    Formal Propositions

    WR41

    The actor in the occupancy relationship shall by of type IfcOccupant

    'IFCSHAREDSPATIALELEMENTS.IFCOCCUPANT' IN TYPEOF(SELF\IfcRelActsUpon.RelatingActor)

    WR42

    The objects in the occupancy relationship shall be of type IfcSpace

    SIZEOF(QUERY(temp <* SELF\IfcRelActsUpon.RelatedObjects | NOT(('IFCPRODUCTEXTENSION.IFCSPACE' IN TYPEOF(temp)) OR ('IFCPRODUCTEXTENSION.IFCBUILDING' IN TYPEOF(temp)) OR ('IFCPRODUCTEXTENSION.IFCBUILDINGSTOREY' IN TYPEOF(temp)) OR ('IFCPRODUCTEXTENSION.IFCZONE' IN TYPEOF(temp)))))=0

    Informal Propositions

    IP31

    The relationship shall be defined acyclic.


    Class IfcSpaceUseCase

    Link to the Fully Attributed View

    Fully Attributed View

    Link to EXPRESS Definition

    EXPRESS Definition

    Class Semantic Definition

    Definition from IFC: The space use case defines all thermal losses and gains occurring within a space or zone. Those losses or gains can either be requirements (desired values) or criteria (actual values). The source attribute defines the source of loss or gain, and the maximum value and applicable value ratio are interpreted according to the source (see definition of IfcUseCaseSourceEnum).

    History

    New Class in IFC Release 2.0

    Attribute and Relationship Definitions

    Superclasses and Subclasses

     IfcRoot
     IfcPropertyDefinition
     IfcSpaceUseCase

    Attributes and Relationships

    Attribute type (OPT, DER, INV)

    Redefinition (SELF)

    Attribute / Relation

    Data or Rel. type

    Definition

     

    LossOrGain

     

    IfcLossOrGainEnum

    Indicated whether the source causes a loss (TRUE) or gain (FALSE) for the space.

     

    RequirementOrCriteria

     

    IfcRequirementOrCriteriaEnum

    Indicated whether the source values describe a desired value as requirement (TRUE) or an actual value as criteria (FALSE) for the space.

     

    Source

     

    IfcUseCaseSourceEnum

    Source of the use or load characteristic, depending on the source, the maximum value has to be interpreted

    OPT

    SourceDescription

     

    STRING

    Further specification for the source, which might be specific for a region or project. E.g. whether the heat gain from Person is caused by specific activities.

     

    MaximumValue

     

    IfcMeasureWithUnit

    Maximum value of the Gain or Loss for the use requirement or criteria, interpretation and unit depends on the source type

    OPT

    ApplicableValueRatio

     

    IfcPositiveRatioMeasure

    Percentage of use requirement or criteria applicable to the space, interpretation depends on the source type

     

    ConstantLoad

     

    BOOLEAN

    Indication, whether the use requirement or load is constant during the hours of a day (TRUE) or not (FALSE). If not, a Pset_H24Schedule has to be referenced by ExtendedProperties

    Geometry Use Definitions

    Instances of this class have no physical presence and therefore no geometric representation.