is part of (has as part) – P4
This property does not yet have the minimum number of validated parts required for publication.
P4 is part of (has as part)
Domain:
Range:
Quantification:
0,n:1,n
Scope note:
This property associates an expression portion with the expression it is part of.
In some cases, an expression portion can be a section of more then one expressions. E.g. a chapter of a novel can start at the end of manuscript A and continue at the beginning of manuscript B. The chapter will therefore be composed of a part of the whole expression carried by manuscript A and a part of the whole expression ciarried by manuscript. Therefore the maximum quantifier of the range class is n.
Examples:
No example yet.
In First Order Logic:
- P4(x,y) ⇒ C2(x)
- P4(x,y) ⇒ F2(y)
Scope notes
Examples
Additional notes
Identifier: P4
Official URI: https://ontome.net/ns/intellectual-literary-life/P4
OntoME URI: https://ontome.net/ontology/p1317
Domain and range
sdh-int:C2 Expression Portion → P4 is part of (has as part) → frbroo:F2 Expression (Quantifiers 0,n:1,n)
Labels
: Standard label for this language
Comments
No comment found.