has quantifiable component type (is quantifiable component type of) – P31
This property does not yet have the minimum number of validated parts required for publication.
P31 has quantifiable component type (is quantifiable component type of)
Quantification:
0,n:0,1
Scope note:
This property associates a quantifiable component with the type that defines its identity.
Examples:
No example yet.
In First Order Logic:
- P31(x,y) ⇒ C16(x)
- P31(x,y) ⇒ C17(y)
Scope notes
Examples
Additional notes
Identifier: P31
Official URI: https://ontome.net/ns/intellectual-literary-life/P31
OntoME URI: https://ontome.net/ontology/p2315
Domain and range
sdh-int:C16 Quantifiable Component → P31 has quantifiable component type (is quantifiable component type of) → sdh-int:C17 Quantifiable Component Type (Quantifiers 0,n:0,1)
Labels
: Standard label for this language
Comments
No comment found.