Object Property 'Core/overlaps':
0) The notion 'overlaps' can refer to more than temporal or processes. Material objects can overlap; This relation should be subclassed to include 'temporalOverlap', 'processOverlap' and 'continuantOverlap'
1) There should be only a single 'firstOrderLogic' annotation (not 3)
2) The 'semiFormal' and 'natrualLanguage' definitions seems to be mixed up. And regarding the 'natrualLanguageDefinition', it should come from a recognized source (which should also be annotated)
3) I would think 'overlaps' should be asserted to be 'Reflexive' and 'Symmetric'?
Object Property 'Core/overlaps': 0) The notion 'overlaps' can refer to more than temporal or processes. Material objects can overlap; This relation should be subclassed to include 'temporalOverlap', 'processOverlap' and 'continuantOverlap' 1) There should be only a single 'firstOrderLogic' annotation (not 3) 2) The 'semiFormal' and 'natrualLanguage' definitions seems to be mixed up. And regarding the 'natrualLanguageDefinition', it should come from a recognized source (which should also be annotated) 3) I would think 'overlaps' should be asserted to be 'Reflexive' and 'Symmetric'?