Friday, June 30, 2006

Absurdity

The absurd type is the type that is a subtype of every other type in the type hierarchy. Nothing is lower than "Absurdity" in the type hierarchy, and nothing exists which is an instance of "Absurdity".
.
.
.
For example, the following conceptual graph is a concept whose type is not a type label:
[ [PartyLight: ?x]->(Attr)->[Blue] : Blinky ]
"Blinky, the blue partylight"

From [an] > Online Course in Knowledge Representation using Conceptual Graphs