has intentional expression identifying type (is identifying type of) – P48
This property does not yet have the minimum number of validated parts required for publication.
P48 has intentional expression identifying type (is identifying type of)
Domain:
Quantification:
0,n:0,1
Subproperty of:
Scope note:
This property associates an intentional expression with a type that identifies its identity.
Examples:
No example yet.
In First Order Logic:
- P48(x,y) ⇒ C46(x)
- P48(x,y) ⇒ C47(y)
- P48(x,y) ⇒ P2(x,y)
- P48(x,y) ⇒ P2(x,y)
- P48(x,y) ⇒ P63(x,y)
Scope notes
Examples
Additional notes
Identifier: P48
Official URI: https://sdhss.org/ontology/core/P48
OntoME URI: https://ontome.net/ontology/p1800
Domain and range
sdh:C46 Intentional Expression → P48 has intentional expression identifying type (is identifying type of) → sdh:C47 Intentional Expression Type (Quantifiers 0,n:0,1)
Labels
: Standard label for this language
Comments
No comment found.