proposition

Deductions

• biochemistry has quality proposition ⇐ (biochemistry has quality probability), (probability has quality proposition), (has quality is a transitive relation)
• physics has quality proposition ⇐ (physics has quality probability), (probability has quality proposition), (has quality is a transitive relation)
• Wikidata property change frequency has quality proposition ⇐ (Wikidata property change frequency has quality probability), (probability has quality proposition), (has quality is a transitive relation)
• physical sciences has quality proposition ⇐ (physical sciences has quality probability), (probability has quality proposition), (has quality is a transitive relation)
• proposition is for example triangle inequality ⇐ (triangle inequality is a proposition), (is a is inverse of is for example)
• proposition is for example central limit theorem ⇐ (central limit theorem is a proposition), (is a is inverse of is for example)
• triangle inequality is a proposition ⇐ (theorem is subclass of proposition), (triangle inequality is a theorem)
• central limit theorem is a proposition ⇐ (theorem is subclass of proposition), (central limit theorem is a theorem)
• foods traditionally associated has quality proposition ⇐ (theorem is subclass of proposition), (foods traditionally associated has quality theorem)
• probability has quality proposition ⇐ (theorem is subclass of proposition), (probability has quality theorem)
• sexual orientation has quality proposition ⇐ (theorem is subclass of proposition), (sexual orientation has quality theorem)
• union of has quality proposition ⇐ (theorem is subclass of proposition), (union of has quality theorem)
• business model has quality proposition ⇐ (theorem is subclass of proposition), (business model has quality theorem)
• proposition has quality type ⇐ (proposition has quality class), (class has quality type), (has quality is a transitive relation)
• proposition has quality type of property ⇐ (proposition has quality class), (class has quality type of property), (has quality is a transitive relation)
• proposition has quality criterion ⇐ (proposition has quality class), (class has quality criterion), (has quality is a transitive relation)
• proposition has quality quality ⇐ (proposition has quality class), (class has quality quality), (has quality is a transitive relation)
• proposition has quality property ⇐ (proposition has quality class), (class has quality property), (has quality is a transitive relation)
• proposition has quality class ⇐ (set is a class), (proposition has quality set)
• proposition has quality class ⇐ (quality is a class), (proposition has quality quality)
• proposition has quality type ⇐ (proposition has quality class), (class has quality type), (has quality is a transitive relation)
• proposition has quality type of property ⇐ (proposition has quality class), (class has quality type of property), (has quality is a transitive relation)
• proposition has quality criterion ⇐ (proposition has quality class), (class has quality criterion), (has quality is a transitive relation)
• proposition has quality quality ⇐ (proposition has quality class), (class has quality quality), (has quality is a transitive relation)
• proposition has quality property ⇐ (proposition has quality class), (class has quality property), (has quality is a transitive relation)
• proposition has quality class ⇐ (set is a class), (proposition has quality set)
• ! is subclass of proposition ⇐ (tautology is subclass of proposition), (tautology is opposite of !)
• proposition has quality existence ⇐ (proposition has quality entity), (entity has quality existence), (has quality is a transitive relation)
• proposition has quality abstract entity ⇐ (arity is a abstract entity), (proposition has quality arity)
• proposition has quality entity ⇐ (taxonomic rank is a entity), (proposition has quality taxonomic rank)
• proposition has quality mathematical object ⇐ (arity is a mathematical object), (proposition has quality arity)
• proposition has quality expression ⇐ (truth value is subclass of expression), (proposition has quality truth value)
• proposition is for example instance of ⇐ (instance of is a proposition), (is a is inverse of is for example)
• instance of is a proposition ⇐ (property constraint is subclass of proposition), (instance of is a property constraint)
• is for example is a proposition ⇐ (property constraint is subclass of proposition), (is for example is a property constraint)
• proposition has quality computer science term ⇐ (value is a computer science term), (proposition has quality value)
• concept is for example proposition ⇐ (proposition is a concept), (is a is inverse of is for example)
• entity is for example proposition ⇐ (proposition is a entity), (is a is inverse of is for example)
• philosophical concept is for example proposition ⇐ (proposition is a philosophical concept), (is a is inverse of is for example)
• abstract entity is for example proposition ⇐ (proposition is a abstract entity), (is a is inverse of is for example)
• is a is subclass of proposition ⇐ (is for example is subclass of proposition), (is for example is inverse of is a)
• multi-value constraint is subclass of proposition ⇐ (single-value constraint is subclass of proposition), (single-value constraint is opposite of multi-value constraint)
• item-requires-statement constraint is subclass of proposition ⇐ (conflicts-with constraint is subclass of proposition), (conflicts-with constraint is opposite of item-requires-statement constraint)
• proposition has quality arity ⇐ (proposition has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
• proposition has quality number of entities ⇐ (proposition has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
• required qualifier constraint is subclass of proposition ⇐ (required qualifier constraint is subclass of definition), (definition is subclass of proposition), (is subclass of is a transitive relation)
• conflicts-with constraint is subclass of proposition ⇐ (conflicts-with constraint is subclass of definition), (definition is subclass of proposition), (is subclass of is a transitive relation)
• complex constraint value label is subclass of proposition ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of proposition), (is subclass of is a transitive relation)
• property constraint is subclass of proposition ⇐ (property constraint is subclass of definition), (definition is subclass of proposition), (is subclass of is a transitive relation)
• is for example is subclass of proposition ⇐ (is for example is subclass of relation of type constraint), (relation of type constraint is subclass of proposition), (is subclass of is a transitive relation)
• instance of is subclass of proposition ⇐ (instance of is subclass of relation of type constraint), (relation of type constraint is subclass of proposition), (is subclass of is a transitive relation)
• 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)
• single-value constraint is subclass of proposition ⇐ (single-value constraint is subclass of definition), (definition is subclass of proposition), (is subclass of is a transitive relation)
• logical consequence is subclass of proposition ⇐ (logical consequence is subclass of consequence), (consequence is subclass of proposition), (is subclass of is a transitive relation)
• proposition is subclass of abstract entity ⇐ (proposition is subclass of mathematical object), (mathematical object is subclass of abstract entity), (is subclass of is a transitive relation)
• proposition is subclass of entity ⇐ (proposition is subclass of mathematical object), (mathematical object is subclass of entity), (is subclass of is a transitive relation)
• proposition is a entity ⇐ (abstract entity is subclass of entity), (proposition is a abstract entity)
• proposition is a abstract entity ⇐ (concept is subclass of abstract entity), (proposition is a concept)
• proposition is a concept ⇐ (philosophical concept is subclass of concept), (proposition is a philosophical concept)
• proposition has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (proposition has quality superclass)
• proposition has quality value ⇐ (truth value is subclass of value), (proposition has quality truth value)
• proposition has quality set ⇐ (relation is subclass of set), (proposition has quality relation)
• proposition has quality relation ⇐ (mathematical property is subclass of relation), (proposition has quality mathematical property)
• proposition has quality superclass ⇐ (proposition is subclass of mathematical object), (mathematical object has quality superclass)
• proposition has quality mathematical property ⇐ (proposition is subclass of mathematical object), (mathematical object has quality mathematical property)