This property describes the E35 Title applied to an instance of E71 Man-Made Thing. The E55 Type of Title is assigned in a sub property.
The P102.1 has type property of the P102 has title (is title of) property enables the relationship between the Title and the thing to be further clarified, for example, if the Title was a given Title, a supplied Title etc.
It allows any man-made material or immaterial thing to be given a Title. It is possible to imagine a Title being created without a specific object in mind.
- the first book of the Old Testament (E33) has title "Genesis" (E35) has type translated (E55)
In First Order Logic:
P102(x,y) ⊃ E71(x)
P102(x,y) ⊃ E35(y)
P102(x,y,z) ⊃ [P102(x,y) ∧ E55(z)]
P102(x,y) ⊃ P1(x,y)
Properties: P102.1 has type: E55 Type