ThisIsAPerson¶
Description
A person is declared. The entity type PhysicalObject is given as well as the entity type edm:Person from the extended data model.
Definition
A person (x1) is marked as such.
ThisIsAPerson(x1) <->
PhysicalObject(x1) &
edm:Person(x1) .
Roles
- hasThis
Restrictions
One of:
- Role filler of hasThis must have entity type PhysicalObject.
- Role filler of hasThis must have entity type EdmPerson.