Space Tools
Name | Size | Creator | Creation Date | Last Modification Date | Labels | Attached To |
---|---|---|---|---|---|---|
image2016-8-30 14:44:29.png | 79 kB | user-1438d | Aug 30, 2016 07:34 | Aug 30, 2016 07:35 | Go To Subsetted property | |
image2016-8-30 14:45:15.png | 68 kB | user-1438d | Aug 30, 2016 07:35 | Aug 30, 2016 07:35 | Go To Subsetted property | |
image2016-8-30 14:31:35.png | 59 kB | user-1438d | Aug 30, 2016 07:21 | Aug 30, 2016 07:26 | Redefined property | |
image2016-8-30 14:32:45.png | 113 kB | user-1438d | Aug 30, 2016 07:22 | Aug 30, 2016 07:26 | Redefined property | |
image2016-8-30 14:33:2.png | 101 kB | user-1438d | Aug 30, 2016 07:23 | Aug 30, 2016 07:26 | Redefined property | |
image2016-8-30 14:35:2.png | 60 kB | user-1438d | Aug 30, 2016 07:25 | Aug 30, 2016 07:26 | Redefined property | |
image2016-8-30 14:35:20.png | 80 kB | user-1438d | Aug 30, 2016 07:25 | Aug 30, 2016 07:26 | Redefined property | |
image2016-8-30 14:36:20.png | 60 kB | user-1438d | Aug 30, 2016 07:26 | Aug 30, 2016 07:26 | Redefined property | |
image2016-8-30 14:25:48.png | 13 kB | user-1438d | Aug 30, 2016 07:16 | Aug 30, 2016 07:19 | Creating an existential quantification (qualified) constraint for a property | |
image2016-8-30 14:26:14.png | 18 kB | user-1438d | Aug 30, 2016 07:16 | Aug 30, 2016 07:19 | Creating an existential quantification (qualified) constraint for a property | |
image2016-8-30 14:28:18.png | 70 kB | user-1438d | Aug 30, 2016 07:18 | Aug 30, 2016 07:19 | Creating an existential quantification (qualified) constraint for a property | |
image2016-8-30 14:21:14.png | 77 kB | user-1438d | Aug 30, 2016 07:11 | Aug 30, 2016 07:11 | Working with subproperties | |
image2016-8-30 14:20:41.png | 17 kB | user-1438d | Aug 30, 2016 07:10 | Aug 30, 2016 07:10 | Working with subproperties | |
image2016-8-30 14:19:14.png | 16 kB | user-1438d | Aug 30, 2016 07:09 | Aug 30, 2016 07:09 | Working with subproperties | |
image2016-8-30 14:13:45.png | 68 kB | user-1438d | Aug 30, 2016 07:04 | Aug 30, 2016 07:04 | Removing a universal quantification | |
image2016-8-30 14:11:21.png | 25 kB | user-1438d | Aug 30, 2016 07:01 | Aug 30, 2016 07:02 | Adding a universal quantification | |
image2016-8-30 14:12:14.png | 18 kB | user-1438d | Aug 30, 2016 07:02 | Aug 30, 2016 07:02 | Adding a universal quantification | |
Propertyholder.png | 3 kB | user-1438d | Aug 30, 2016 06:56 | Aug 30, 2016 06:56 | Creating a property holder | |
image2016-8-30 13:59:41.png | 4 kB | user-1438d | Aug 30, 2016 06:49 | Aug 30, 2016 06:49 | Creating a property holder | |
image2016-8-30 13:57:6.png | 14 kB | user-1438d | Aug 30, 2016 06:47 | Aug 30, 2016 06:49 | Viewing a glossary |