SUO: Re: Group Registry Of Unaddressed Problems (GROUP)
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
GROUP. Note 2
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o-----------------o-----------------------------------------o
| IFF | Graphs & Labeled Graphs |
| | |
| Q1. | http://suo.ieee.org/email/msg10114.html |
| Q1.1. | http://suo.ieee.org/email/msg10130.html |
| R1.1.1. | http://suo.ieee.org/email/msg10172.html |
| | |
o-----------------o-----------------------------------------o
| OpenCyc | Graphs & Labeled Graphs |
| | |
| Q2. | http://suo.ieee.org/email/msg10114.html |
| Q2.1. | http://suo.ieee.org/email/msg10130.html |
| | |
o-----------------o-----------------------------------------o
| SUMO | Graphs & Labeled Graphs |
| | |
| Q3. | http://suo.ieee.org/email/msg10114.html |
| Q3.1. | http://suo.ieee.org/email/msg10130.html |
| | |
o-----------------o-----------------------------------------o
| IFF | LOT Glossary |
| | |
| Q4. | http://suo.ieee.org/email/msg10122.html |
| R4.1. | http://suo.ieee.org/email/msg10123.html |
| R4.2. | http://suo.ieee.org/email/msg10125.html |
| | |
o-----------------o-----------------------------------------o
| IFF | Colimits & Diagrams of Theories |
| | |
| Q5. | http://suo.ieee.org/email/msg10161.html |
| R5.1. | http://suo.ieee.org/email/msg10164.html |
| R5.2. | http://suo.ieee.org/email/msg10165.html |
| R5.3. | http://suo.ieee.org/email/msg10172.html |
| | |
o-----------------o-----------------------------------------o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o