Subclass of:

• frbroo:F2 Expression
• dsitest:AR18 Architectural Activity Plan
• dsitest:AR9 Oeuvre

Superclass of:

• dsitest:AR6 Architectural Program
• dsitest:AR1 Architectural Model
• dsitest:AR4 Construction Plan

Scope note:

This class comprises the immaterial content of objects created during architectural conception activities. The propositional content contained in an architectural formulation provides information which represents particular architectural concepts proposed for a certain project and which may provide information on how to realize these concepts into concrete objects. Instances of this class are information objects produced during an activity of expression creation undertaken in relation to the goals of an instance of F27 Work Conception to realize an architectural idea. An instance of architectural formulation realises, in whole or in part, the propositional content of the instance of F1 Work.

Examples:

The programming activities (AR5) undertaken by Port Authority of New York and New Jersey and Larry Silverstein (AR7) in order to specify the user requirements (AR??) for the design of the One World Trade Centre (E22) in New York.

In First Order Logic:

• AR5(x) ⇒ F2(x)
• AR5(x) ⇒ AR18(x)
• AR5(x) ⇒ AR9(x)