Inserting a subtype
Inserting a subtype proceeds like this:
Inserting an individual
Physical and Abstract
The distinction between "Physical" and "Abstract" goes back to the Greek philosopher Heraclitus. It is fundamental in many ontological frameworks.
An Object is a Physical thing which has independent existence and which endures over time. Examples include humans, cars, animals, and stars.
Processes and Acts
A Process is a physical thing which takes place in a time-span that is shorter than that of an object.
An Act is a Process. Examples include "Drive", "Eat", "Walk", "Shower", and "Read".
In Module 1, there is a whole catalog of standard relations, some of which we have added to our ontology.
All relations are subtypes of the special "Relation" conceptual structure. We could have organized the relations in a hierarchy with subtypes and subtypes of subtypes, but for simplicity's sake, we have chosen to make them all immediate subtypes of "Relation".
"Pluto", "Odie", and "Fido" are individuals of type "Dog", whereas "Alfred" could be an individual of type "Man".
PrevLite: 9.9 The final product
NextLite: 10 Adding CGs
Prev: 9.9 The final product
Up: 9 Building an ontology
Next: 10 Adding CGs