| ISA | INVERSE-CONDITION-OF-CHANGE |
| ANCESTORS | ALL INVERSE-CONDITION-OF-CHANGE INVERSE-EVENT-STATE-RELATION PROPERTY RELATION |
| INHERITED RELATIONS | DOMAIN : OBJECT (from PROPERTY) EVENT (from PROPERTY) RANGE : OBJECT (from RELATION) EVENT (from RELATION) |