Skip to content

zelph - A Sophisticated Semantic Network System

continuant type

continuant type

Deductions

entity is for example continuant type ⇐ (continuant type is a entity), (is a is inverse of is for example)
continuant type is a entity ⇐ (second-order class is subclass of entity), (continuant type is a second-order class)
second-order class is for example continuant type ⇐ (continuant type is a second-order class), (is a is inverse of is for example)
territorial entity type is subclass of continuant type ⇐ (territorial entity type is subclass of independent continuant type), (independent continuant type is subclass of continuant type), (is subclass of is a transitive relation)