If you want to get into philosophical foundation of Webstructor, this page describes basic ontology embedded into Visual Mind Worlds engine and illustrates how it can be applied to some practical example.
Is (Substance vs Appearance)
Has (Possession vs Belonging)
Basic Binary Relations
Thing Is Anything
Name Is Anything
Property Is Anything
Is Is Property
Has Is Property
Thing Has Is
Thing Has Has
Thing Has Name
Property Has Thing
Consider the following statement.
"Animal is thing and alive while alive is thing. Animal has extremities and size while extremity is thing while size is property. Size has measure while measure is thing".
Let us get down from English and binary predicates toORL notation use in the system.
Human is Thing. Human is Alive.
Alive is Thing.
Human has Extremities. Human has Size.
Extremity is Thing.
Size is Property.
Size has Measure.
Measure is Thing.
THING name Alive;;
THING name Measure;;
PROPERTY name Size; has (Measure);;
THING name Extremity; is (Thing);;
THING name Human; is (Alive); has (Extremities), (Size);;
Note: In current implementation of Webstructor/VisualMindWorlds, Name is not used as separate entity but it is wrapped by entire Idea concept (associated with symbolic name and/or semantic image).
(C) Copyright 1988-1998,2001 Anton Kolonin