Property talk:P2384
Documentation
statement describes
formalization of the statement contains a bound variable in this class
formalization of the statement contains a bound variable in this class
[create Create a translatable help page (preferably in English) for this property to be included here]
Type “statement (Q2684591), conjecture (Q319141), scientific law (Q408891), theorem (Q65943)”: item must contain property “instance of (P31)” with classes “statement (Q2684591), conjecture (Q319141), scientific law (Q408891), theorem (Q65943)” or their subclasses (defined using subclass of (P279)). (Help)
Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303). List of violations of this constraint: Database reports/Constraint violations/P2384#Type Q2684591, Q319141, Q408891, Q65943, SPARQL
Property “subclass of (P279)” declared by target items of “statement describes (P2384)”: If [item A] has this property with value [item B], [item B] is required to have property “subclass of (P279)”. (Help)
Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303). List of violations of this constraint: Database reports/Constraint violations/P2384#Target required claim P279, SPARQL, SPARQL (by value)
Scope is as main value (Q54828448): the property must be used by specified way only (Help)
Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303). List of violations of this constraint: Database reports/Constraint violations/P2384#Scope, SPARQL
Allowed entity types are Wikibase item (Q29934200): the property may only be used on a certain entity type (Help)
Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303). List of violations of this constraint: Database reports/Constraint violations/P2384#Entity types
|