About: P112 diminished     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : data.silknow.org associated with source document(s)

Scope note: This property identifies the E24 Physical Man-Made Thing that was diminished by E80 Part Removal. Although a Part removal activity normally concerns only one item of Physical Man-Made Thing, it is possible to imagine circumstances under which more than one item might be diminished by a single Part Removal activity. Examples: - the coffin of Tut-Ankh-Amun (E22) was diminished by The opening of the coffin of Tut-Ankh-Amun (E80) In First Order Logic: P112(x,y) ⊃ E80(x) P112(x,y) ⊃ E24(y) P112(x,y) ⊃ P31(x,y)

AttributesValues
rdf:type
rdfs:subPropertyOf
inverseOf
rdfs:label
  • P112 diminished (en)
rdfs:domain
rdfs:range
rdfs:comment
  • Scope note: This property identifies the E24 Physical Man-Made Thing that was diminished by E80 Part Removal. Although a Part removal activity normally concerns only one item of Physical Man-Made Thing, it is possible to imagine circumstances under which more than one item might be diminished by a single Part Removal activity. Examples: - the coffin of Tut-Ankh-Amun (E22) was diminished by The opening of the coffin of Tut-Ankh-Amun (E80) In First Order Logic: P112(x,y) ⊃ E80(x) P112(x,y) ⊃ E24(y) P112(x,y) ⊃ P31(x,y) (en)
notation
  • P112
is inverseOf of
is onProperty of
Faceted Search & Find service v1.16.112 as of Mar 01 2023


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3236 as of Mar 1 2023, on Linux (x86_64-pc-linux-musl), Single-Server Edition (126 GB total memory, 29 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software