Navigation
Navigate Navigate Navigate Navigate Navigate Navigate Navigate Navigate

IfcInventory

Definition from IAI: An IfcInventory is a list of items within an enterprise.

HISTORY: New Entity in IFC Release 2.0. Modified in IFC 2x2.

Use Definitions

Various types of inventory can be included. These are identified by the range of values within the inventory type enumeration which currently includes space, asset, furniture. User defined inventories can also be defined for lists of particular types of element such as may be required in operating and maintenance instrucions. Such inventories should be constrained to contain a list of elements of a restricted type.

There are a number of actors that can be associated with an inventory, each actor having a role. Principal actors are identified as attributes of the class. Additional actors can be specified through the relationship class IfcRelAssignsToActor in which case roles should be defined through the IfcActorRole class which must be asserted for each defined role.

There are a number of costs that can be associated with an inventory, each cost having a role. Principal costs are identified as attributes of the class. Additional costs can be specified through the relationship class IfcRelAssociatesCost in which case roles must be asserted.

EXPRESS specification:

ENTITY IfcInventory
SUBTYPE OF ( IfcGroup);
InventoryType  :  IfcInventoryTypeEnum;
Jurisdiction  :  IfcActorSelect;
ResponsiblePersons  :  SET [1:?] OF IfcPerson;
LastUpdateDate  :  IfcCalendarDate;
CurrentValue  :  OPTIONAL IfcCostValue;
OriginalValue  :  OPTIONAL IfcCostValue;
WHERE
WR41  :  SIZEOF(QUERY(temp <* SELF\IfcGroup.IsGroupedBy.RelatedObjects | NOT( ('IFCPRODUCTEXTENSION.IFCSPACE' IN TYPEOF (temp)) OR ('IFCSHAREDFACILITIESELEMENTS.IFCASSET' IN TYPEOF (temp)) OR ('IFCSHAREDFACILITIESELEMENTS.IFCFURNISHINGELEMENT' IN TYPEOF (temp)) ))) = 0;
END_ENTITY;

Attribute definitions:

InventoryType  :  A list of the types of inventories from which that required may be selected.
Jurisdiction  :  The organizational unit to which the inventory is applicable.
ResponsiblePersons  :  Persons who are responsible for the inventory.
LastUpdateDate  :  The date on which the last update of the inventory was carried out.
CurrentValue  :  An estimate of the current cost value of the inventory.
OriginalValue  :  An estimate of the original cost value of the inventory.

Formal Propositions:

WR41  :  Constrains the type of objects that can be contained within an IfcInventory.

Inheritance graph

ENTITY IfcInventory;
ENTITY IfcRoot;
GlobalId  :  IfcGloballyUniqueId;
OwnerHistory  :  IfcOwnerHistory;
Name  :  OPTIONAL IfcLabel;
Description  :  OPTIONAL IfcText;
ENTITY IfcObjectDefinition;
INVERSE
HasAssignments  :  SET OF IfcRelAssigns FOR RelatedObjects;
IsDecomposedBy  :  SET OF IfcRelDecomposes FOR RelatingObject;
Decomposes  :  SET [0:1] OF IfcRelDecomposes FOR RelatedObjects;
HasAssociations  :  SET OF IfcRelAssociates FOR RelatedObjects;
ENTITY IfcObject;
ObjectType  :  OPTIONAL IfcLabel;
INVERSE
IsDefinedBy  :  SET OF IfcRelDefines FOR RelatedObjects;
ENTITY IfcGroup;
INVERSE
IsGroupedBy  :  IfcRelAssignsToGroup FOR RelatingGroup;
ENTITY IfcInventory;
InventoryType  :  IfcInventoryTypeEnum;
Jurisdiction  :  IfcActorSelect;
ResponsiblePersons  :  SET [1:?] OF IfcPerson;
LastUpdateDate  :  IfcCalendarDate;
CurrentValue  :  OPTIONAL IfcCostValue;
OriginalValue  :  OPTIONAL IfcCostValue;
END_ENTITY;