1. Orion 2009

2. How do we represent knowledge so it is not directed to a purpose, and thus can be used for any purpose. We should ensure that no inference is lost. A simple example: A + B = C We could have two of them, and then connect them so IF A + B = C THEN D + E = F with Modus Tollens available if needed To be able to do that, what must the structure look like?

3. Active Structure A + B = C

4. Logic and Numbers IF A + B = C THEN D + E = F

5. Operators with Specific Functions We can wrap the operations of an Activity in a box, but a box without initial direction. We can have the logical connection as input, so we assert the activity must occur, or we can leave the logical connection undefined, so it can be an input or an output.

6. Semantic Modelling

7. Applying a Brake

8. Mapping from One Relation to Another

9. Bioinformatics Stuff Automatically built from text

10. Enron Emails Automatically built from text

11. Actions and States

12. Groups

13. Generating a New Object Automatically built from text

14. Geometrical Knowledge - Circle

15. Using Knowledge for Something Practical Turning Circle “contains” the turn relation of the vehicle

16. Linking Knowledge A door has components, one of which is a door mechanism. Mechanisms are actuated by actuators, one type of which is a solenoid. So, “door solenoids”.

17. Document and Text

18. Searching Sets propagate through the structure – the structure is active Automatically built from text