This HTML5 document contains 23 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n10http://purl.obolibrary.org/obo/bfo.
n2http://purl.obolibrary.org/obo/
wdrshttp://www.w3.org/2007/05/powder-s#
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n12https://linkeddata.uriburner.com/about/id/entity/https/standards.iso.org/iso-iec/21838/-2/ed-1/en/owl/bfo-2020.
n11https://linkeddata.uriburner.com/about/id/entity/https/raw.githubusercontent.com/ufbmi/geographical-entity-ontology/master/geo.
n6https://linkeddata.uriburner.com/about/id/entity/https/raw.githubusercontent.com/BFO-ontology/BFO/releases/2014-05-03/owl-group/bfo.
n9http://linkeddata.uriburner.com/about/id/entity/http/data.bioontology.org/ontologies/VO/download?apikey=8b5b7825-538d-40e0-9e9e-5ab9274a9aeb&download_format=
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
n2:BFO_0000137
rdf:type
owl:TransitiveProperty owl:ObjectProperty
rdfs:subPropertyOf
n2:BFO_0000175 n2:BFO_0000177
owl:inverseOf
n2:BFO_0000187
n2:IAO_0000115
b proper_continuant_part_of c at t =Def. b continuant_part_of c at t & b and c are not identical. (axiom label in BFO2 Reference: [004-001])
n2:IAO_0000116
Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'proper part of continuant at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'proper part of continuant@en(x,y,t)'.
n2:IAO_0000412
http://purl.obolibrary.org/obo/bfo.owl
n2:IAO_0000602
(iff (properContinuantPartOfAt a b t) (and (continuantPartOfAt a b t) (not (= a b)))) // axiom label in BFO2 CLIF: [004-001]
n2:BFO_0000179
c-ppart-of_at
n2:BFO_0000180
properContinuantPartOfAt
rdfs:label
proper part of continuant at all times proper continuant part of at all times
rdfs:domain
n2:BFO_0000002
rdfs:range
n2:BFO_0000002
rdfs:isDefinedBy
n10:owl
skos:prefLabel
proper continuant part of at all times
wdrs:describedby
n6:owl n9:rdf n11:owl n12:owl
dc:identifier
225-BFO
skos:definition
b proper continuant part of c at all times =Def for all times t, b exists at t implies (b continuant part of c at t & not (c proper continuant part of b at t))