Scope note: This property documents that an E89 Propositional Object makes a statement about an instance of E1 CRM Entity. P67 refers to (is referred to by) has the P67.1 has type link to an instance of E55 Type. This is intended to allow a more detailed description of the type of reference. This differs from P129 is about (is subject of), which describes the primary subject or subjects of the E89 Propositional Object. Examples: - the eBay auction listing for 4 July 2002 (E73) refers to silver cup 232 (E22) has type item for sale (E55) In First Order Logic: P67(x,y) ⊃ E89(x) P67(x,y) ⊃ E1(y) P67(x,y,z) ⊃ [P67(x,y) ∧ E55(z)] Properties: P67.1 has type: E55 Type
Attributes | Values |
---|---|
type | |
inverseOf | |
label |
|
domain | |
range | |
comment |
|
notation |
|
is subPropertyOf of |
|
is inverseOf of |