Skip to content

zelph - A Sophisticated Semantic Network System

relation of type constraint

relation of type constraint

Deductions

relation of type constraint is for example instance of ⇐ (instance of is a relation of type constraint), (is a is inverse of is for example)
is a is subclass of relation of type constraint ⇐ (is for example is subclass of relation of type constraint), (is for example is inverse of is a)
relation of type constraint is subclass of proposition ⇐ (relation of type constraint is subclass of definition), (definition is subclass of proposition), (is subclass of is a transitive relation)
relation of type constraint is subclass of definition ⇐ (relation of type constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
relation of type constraint is subclass of Wikidata property definition ⇐ (relation of type constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)