Skip to content

zelph - A Sophisticated Semantic Network System

initial object

initial object

Deductions

initial object is subclass of injective object ⇐ (terminal object is subclass of injective object), (terminal object is opposite of initial object)
initial object is for example top type ⇐ (top type is a initial object), (is a is inverse of is for example)
initial object is for example bottom type ⇐ (bottom type is a initial object), (is a is inverse of is for example)
terminal object is opposite of initial object ⇐ initial object is opposite of terminal object
top type is a initial object ⇐ (bottom type is a initial object), (bottom type is opposite of top type)