@prefix dc: .
@prefix dcterms: .
@prefix ns1: .
@prefix ns2: .
@prefix ns3: .
@prefix owl: .
@prefix rdf: .
@prefix rdfs: .
@prefix skos: .
ns1:BFO_0000221 a owl:ObjectProperty ;
rdfs:label "first instant of"@en ;
dc:identifier "268-BFO" ;
rdfs:domain ns1:BFO_0000203 ;
rdfs:range ns1:BFO_0000008 ;
owl:inverseOf ns1:BFO_0000222 ;
skos:definition "t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t"@en ;
skos:example "An hour starting at midnight yesterday has first instant midnight yesterday"@en .
ns1:BFO_0000223 a owl:ObjectProperty ;
rdfs:label "last instant of"@en ;
dc:identifier "269-BFO" ;
rdfs:domain ns1:BFO_0000203 ;
rdfs:range ns1:BFO_0000008 ;
owl:inverseOf ns1:BFO_0000224 ;
skos:definition "t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t"@en ;
skos:example "Last midnight is the last instant of yesterday"@en .
ns1:IAO_0000112 a owl:AnnotationProperty .
ns1:IAO_0000115 a owl:AnnotationProperty .
ns1:IAO_0000116 a owl:AnnotationProperty .
ns1:RO_0000079 a owl:ObjectProperty ;
rdfs:label "function of"@en ;
ns1:IAO_0000112 "this catalysis function is a function of this enzyme"@en ;
ns1:IAO_0000115 "a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence"@en ;
ns1:IAO_0000116 "A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists."@en ;
rdfs:domain ns1:BFO_0000034 ;
rdfs:subPropertyOf ns1:RO_0000052 ;
owl:inverseOf ns1:RO_0000085 .
ns1:RO_0000080 a owl:ObjectProperty ;
rdfs:label "quality of"@en ;
ns1:IAO_0000112 "this red color is a quality of this apple"@en ;
ns1:IAO_0000115 "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence"@en ;
ns1:IAO_0000116 "A quality inheres in its bearer at all times for which the quality exists."@en ;
rdfs:domain [ a owl:Class ;
owl:intersectionOf ( ns1:BFO_0000019 [ a owl:Class ;
owl:complementOf ns1:BFO_0000145 ] ) ] ;
rdfs:subPropertyOf ns1:RO_0000052 ;
owl:inverseOf ns1:RO_0000086 .
ns1:RO_0000081 a owl:ObjectProperty ;
rdfs:label "role of"@en ;
ns1:IAO_0000112 "this investigator role is a role of this person"@en ;
ns1:IAO_0000115 "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence"@en ;
ns1:IAO_0000116 "A role inheres in its bearer at all times for which the role exists, however the role need not be realized at all the times that the role exists."@en ;
rdfs:subPropertyOf ns1:RO_0000052 ;
owl:inverseOf ns1:RO_0000087 .
dc:identifier a owl:AnnotationProperty .
dcterms:bibliographicCitation a owl:AnnotationProperty .
dcterms:conformsTo a owl:AnnotationProperty .
dcterms:creator a owl:AnnotationProperty .
dcterms:license a owl:AnnotationProperty .
a owl:Ontology .
ns3:coversRequirements a owl:AnnotationProperty .
ns3:extractedFrom a owl:AnnotationProperty .
ns3:hasComponent a owl:AnnotationProperty .
ns3:hasConsequences a owl:AnnotationProperty .
ns3:hasIntent a owl:AnnotationProperty .
ns3:hasUnitTest a owl:AnnotationProperty .
ns3:isSpecializationOf a owl:AnnotationProperty .
ns3:reengineeredFrom a owl:AnnotationProperty .
ns3:relatedCPs a owl:AnnotationProperty .
ns3:scenarios a owl:AnnotationProperty .
skos:altLabel a owl:AnnotationProperty .
skos:definition a owl:AnnotationProperty .
skos:example a owl:AnnotationProperty .
a ns1:BFO_0000038 ;
rdfs:label "temporal region 158" ;
ns1:BFO_0000222 ;
ns1:BFO_0000224 .
a owl:Ontology ;
rdfs:label "temporal — NFDI-MatWerk ontology design pattern" ;
dcterms:bibliographicCitation "Hossein Beygi Nasrabadi, Jörg Waitelonis, Ebrahim Norouzi, Kostiantyn Hubaiev, Harald Sack. NFDI MatWerk Ontology (mwo). Revision: v3.0.1. Retrieved from: http://purls.helmholtz-metadaten.de/mwo/3.0.1" ;
dcterms:conformsTo ;
dcterms:creator ,
,
,
;
dcterms:license "CC BY 4.0 (repository); CC0 1.0 declared in the ontology header" ;
ns3:coversRequirements "Over which period did a given project, event or role run?",
"Which resources were created or published in a given year?" ;
ns3:extractedFrom "the temporal tab of the NFDI-MatWerk curation workbook" ;
ns3:hasComponent ns1:BFO_0000148,
;
ns3:hasConsequences "Values become reusable and independently addressable, and one value may be shared by many entities. The cost: every `I` reference resolves by label, so labels must be unique and a typo yields a silently missing relation rather than an error." ;
ns3:hasIntent "To represent a one-dimensional temporal region in the MatWerk Knowledge Graph: its identity, the value nodes that describe it, and its links to the other entities the NFDI-MatWerk consortium records." ;
ns3:hasUnitTest "SELECT ?x ?label WHERE { ?x a ; ?label } LIMIT 10" ;
ns3:isSpecializationOf ;
ns3:reengineeredFrom "ROBOT template directives, row 2 of the temporal tab" ;
ns3:scenarios "“temporal region 158” is a one-dimensional temporal region, with has first instance “2/29/2024”; has last instance “9/30/2026”." ;
rdfs:isDefinedBy ;
owl:versionIRI ;
owl:versionInfo "1.0.0" .
ns1:BFO_0000038 a owl:Class ;
rdfs:label "one-dimensional temporal region",
"one-dimensional temporal region"@en ;
dc:identifier "103-BFO" ;
rdfs:subClassOf ns1:BFO_0000008 ;
owl:disjointWith ns1:BFO_0000148 ;
skos:definition "(Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts"@en ;
skos:example "The temporal region during which a process occurs"@en .
ns1:BFO_0000145 a owl:Class ;
rdfs:label "relational quality"@en ;
dc:identifier "057-BFO" ;
rdfs:subClassOf ns1:BFO_0000019 ;
skos:definition "b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d"@en ;
skos:example "A marriage bond; an instance of love; an obligation between one person and another"@en .
ns1:BFO_0000222 a owl:FunctionalProperty,
owl:ObjectProperty ;
rdfs:label "has first instant",
"has first instant"@en ;
dc:identifier "261-BFO" ;
rdfs:domain ns1:BFO_0000008 ;
rdfs:range ns1:BFO_0000203 ;
skos:definition "t has first instant t' =Def t' first instant of t"@en ;
skos:example "The first hour of a year has first instant midnight on December 31"@en .
ns1:BFO_0000224 a owl:FunctionalProperty,
owl:ObjectProperty ;
rdfs:label "has last instant",
"has last instant"@en ;
dc:identifier "215-BFO" ;
rdfs:domain ns1:BFO_0000008 ;
rdfs:range ns1:BFO_0000203 ;
skos:definition "t has last instant t' =Def t' last instant of t"@en ;
skos:example "The last hour of a year has last instant midnight December 31"@en .
ns1:RO_0000091 a owl:ObjectProperty ;
rdfs:label "has disposition"@en ;
ns1:IAO_0000115 "a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence"@en ;
rdfs:domain ns1:BFO_0000004 ;
rdfs:range ns1:BFO_0000016 ;
rdfs:subPropertyOf ns1:RO_0000053 ;
owl:inverseOf ns1:RO_0000092 .
ns1:RO_0000092 a owl:ObjectProperty ;
rdfs:label "disposition of"@en ;
ns1:IAO_0000115 "inverse of has disposition" ;
rdfs:subPropertyOf ns1:RO_0000052 .
a ns1:BFO_0000148 ;
rdfs:label "2/29/2024" .
a ns1:BFO_0000148 ;
rdfs:label "9/30/2026" .
rdfs:label "Harald Sack" .
rdfs:label "Jörg Waitelonis" .
rdfs:label "Ebrahim Norouzi" .
rdfs:label "Hossein Beygi Nasrabadi" .
ns1:BFO_0000003 a owl:Class ;
rdfs:label "occurrent"@en ;
ns1:IAO_0000115 "An entity that has temporal parts and that happens, unfolds or develops through time."@en ;
dc:identifier "077-BFO" ;
skos:definition "(Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region"@en ;
skos:example "As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant."@en .
ns1:BFO_0000017 a owl:Class ;
rdfs:label "realizable entity"@en ;
ns1:IAO_0000112 "the disposition of this piece of metal to conduct electricity."@en,
"the disposition of your blood to coagulate"@en,
"the function of your reproductive organs"@en,
"the role of being a doctor"@en,
"the role of this boundary to delineate where Utah and Colorado meet"@en ;
ns1:IAO_0000115 "A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances."@en ;
dc:identifier "058-BFO" ;
rdfs:subClassOf ns1:BFO_0000020 ;
owl:disjointWith ns1:BFO_0000019 ;
skos:definition "(Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type"@en ;
skos:example "The role of being a doctor; the role of this boundary to delineate where Utah and Colorado meet; the function of your reproductive organs; the disposition of your blood to coagulate; the disposition of this piece of metal to conduct electricity"@en .
ns1:RO_0000085 a owl:ObjectProperty ;
rdfs:label "has function"@en ;
ns1:IAO_0000112 "this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)"@en ;
ns1:IAO_0000115 "a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence"@en ;
ns1:IAO_0000116 "A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists."@en ;
rdfs:domain ns1:BFO_0000004 ;
rdfs:range ns1:BFO_0000034 ;
rdfs:subPropertyOf ns1:RO_0000053 .
ns1:RO_0000086 a owl:ObjectProperty ;
rdfs:label "has quality"@en ;
ns1:IAO_0000112 "this apple has quality this red color"@en ;
ns1:IAO_0000115 "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence"@en ;
ns1:IAO_0000116 "A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist."@en ;
rdfs:range ns1:BFO_0000019 ;
rdfs:subPropertyOf ns1:RO_0000053 .
ns1:RO_0000087 a owl:ObjectProperty ;
rdfs:label "has role"@en ;
ns1:IAO_0000112 "this person has role this investigator role (more colloquially: this person has this role of investigator)"@en ;
ns1:IAO_0000115 "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence"@en ;
ns1:IAO_0000116 "A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists."@en ;
rdfs:domain ns1:BFO_0000004 ;
rdfs:range ns1:BFO_0000023 ;
rdfs:subPropertyOf ns1:RO_0000053 .
ns1:BFO_0000002 a owl:Class ;
rdfs:label "continuant"@en ;
ns1:IAO_0000115 "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts."@en ;
ns1:IAO_0000116 "BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240"@en ;
dc:identifier "008-BFO" ;
owl:disjointWith ns1:BFO_0000003 ;
skos:definition "(Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity"@en ;
skos:example "A human being; a tennis ball; a cave; a region of space; someone's temperature"@en .
ns1:BFO_0000016 a owl:Class ;
rdfs:label "disposition"@en ;
ns1:IAO_0000112 "an atom of element X has the disposition to decay to an atom of element Y"@en,
"certain people have a predisposition to colon cancer"@en,
"children are innately disposed to categorize objects in certain ways."@en,
"the cell wall is disposed to filter chemicals in endocytosis and exocytosis"@en ;
ns1:IAO_0000116 "BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type."@en ;
dc:identifier "062-BFO" ;
rdfs:subClassOf ns1:BFO_0000017 ;
owl:disjointWith ns1:BFO_0000023 ;
skos:altLabel "internally-grounded realizable entity"@en ;
skos:definition "(Elucidation) A disposition b is a realizable entity such that if b ceases to exist then its bearer is physically changed & b's realization occurs when and because this bearer is in some special physical circumstances & this realization occurs in virtue of the bearer's physical make-up"@en ;
skos:example "An atom of element X has the disposition to decay to an atom of element Y; the cell wall is disposed to transport cellular material through endocytosis and exocytosis; certain people have a predisposition to colon cancer; children are innately disposed to categorize objects in certain ways"@en .
ns1:BFO_0000023 a owl:Class ;
rdfs:label "role"@en ;
ns1:IAO_0000112 "John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married."@en,
"the priest role"@en,
"the role of a boundary to demarcate two neighboring administrative territories"@en,
"the role of a building in serving as a military target"@en,
"the role of a stone in marking a property boundary"@en,
"the role of subject in a clinical trial"@en,
"the student role"@en ;
ns1:IAO_0000115 "A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts."@en ;
ns1:IAO_0000116 "BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives."@en ;
dc:identifier "061-BFO" ;
rdfs:subClassOf ns1:BFO_0000017 ;
skos:altLabel "externally-grounded realizable entity"@en ;
skos:definition "(Elucidation) A role b is a realizable entity such that b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed"@en ;
skos:example "The priest role; the student role; the role of subject in a clinical trial; the role of a stone in marking a property boundary; the role of a boundary to demarcate two neighbouring administrative territories; the role of a building in serving as a military target"@en .
ns1:BFO_0000031 a owl:Class ;
rdfs:label "generically dependent continuant"@en ;
ns1:IAO_0000112 "The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity."@en,
"the pdf file on your laptop, the pdf file that is a copy thereof on my laptop"@en,
"the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule."@en ;
ns1:IAO_0000115 "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])"@en ;
dc:identifier "074-BFO" ;
rdfs:subClassOf ns1:BFO_0000002 ;
skos:altLabel "g-dependent continuant"@en ;
skos:definition "(Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share"@en ;
skos:example "The pdf file on your laptop; the pdf file that is a copy thereof on my laptop; the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule; the content that is shared by a string of dots and dashes written on a page and the transmitted Morse code signal; the content of a sentence; an engineering blueprint"@en .
ns1:BFO_0000034 a owl:Class ;
rdfs:label "function"@en ;
ns1:IAO_0000112 "the function of a hammer to drive in nails"@en,
"the function of a heart pacemaker to regulate the beating of a heart through electricity"@en,
"the function of amylase in saliva to break down starch into sugar"@en ;
ns1:IAO_0000116 "BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc."@en ;
dc:identifier "064-BFO" ;
rdfs:subClassOf ns1:BFO_0000016 ;
skos:definition "(Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts) in order to realize processes of a certain sort"@en ;
skos:example "The function of a hammer to drive in nails; the function of a heart pacemaker to regulate the beating of a heart through electricity"@en .
ns1:BFO_0000004 a owl:Class ;
rdfs:label "independent continuant"@en ;
ns1:IAO_0000112 "a chair"@en,
"a heart"@en,
"a leg"@en,
"a molecule"@en,
"a spatial region"@en,
"an atom"@en,
"an orchestra."@en,
"an organism"@en,
"the bottom right portion of a human torso"@en,
"the interior of your mouth"@en ;
ns1:IAO_0000115 "b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])"@en ;
dc:identifier "017-BFO" ;
rdfs:subClassOf ns1:BFO_0000002 ;
owl:disjointWith ns1:BFO_0000020,
ns1:BFO_0000031 ;
skos:definition "b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c"@en ;
skos:example "An atom; a molecule; an organism; a heart; a chair; the bottom right portion of a human torso; a leg; the interior of your mouth; a spatial region; an orchestra"@en .
ns1:BFO_0000203 a owl:Class ;
rdfs:label "temporal instant"@en ;
dc:identifier "209-BFO" ;
rdfs:subClassOf ns1:BFO_0000148 ;
skos:definition "(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part"@en ;
skos:example "The millennium"@en .
ns1:RO_0000052 a owl:FunctionalProperty,
owl:ObjectProperty ;
rdfs:label "characteristic of"@en ;
ns1:IAO_0000112 "this fragility is a characteristic of this vase"@en,
"this red color is a characteristic of this apple"@en ;
ns1:IAO_0000115 "a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence."@en ;
owl:inverseOf ns1:RO_0000053 .
ns1:BFO_0000019 a owl:Class ;
rdfs:label "quality"@en ;
ns1:IAO_0000112 "the ambient temperature of this portion of air"@en,
"the color of a tomato"@en,
"the length of the circumference of your waist"@en,
"the mass of this piece of gold."@en,
"the shape of your nose"@en,
"the shape of your nostril"@en ;
dc:identifier "055-BFO" ;
rdfs:subClassOf ns1:BFO_0000020 ;
skos:definition "(Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized"@en ;
skos:example "The colour of a tomato; the ambient temperature of this portion of air; the length of the circumference of your waist; the shape of your nose; the shape of your nostril; the mass of this piece of gold"@en .
ns1:BFO_0000020 a owl:Class ;
rdfs:label "specifically dependent continuant"@en ;
ns1:IAO_0000112 "Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key"@en,
"of one-sided specifically dependent continuants: the mass of this tomato"@en,
"of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates."@en,
"the disposition of this fish to decay"@en,
"the function of this heart: to pump blood"@en,
"the mutual dependence of proton donors and acceptors in chemical reactions [79"@en,
"the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction"@en,
"the pink color of a medium rare piece of grilled filet mignon at its center"@en,
"the role of being a doctor"@en,
"the shape of this hole."@en,
"the smell of this portion of mozzarella"@en ;
ns1:IAO_0000115 "b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])"@en ;
dc:identifier "050-BFO" ;
rdfs:subClassOf ns1:BFO_0000002 ;
owl:disjointWith ns1:BFO_0000031 ;
skos:definition "b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c"@en ;
skos:example "(with multiple bearers) John's love for Mary; the ownership relation between John and this statue; the relation of authority between John and his subordinates"@en,
"(with one bearer) The mass of this tomato; the pink colour of a medium rare piece of grilled filet mignon at its centre; the smell of this portion of mozzarella; the disposition of this fish to decay; the role of being a doctor; the function of this heart to pump blood; the shape of this hole"@en .
ns1:BFO_0000148 a owl:Class ;
rdfs:label "zero-dimensional temporal region",
"zero-dimensional temporal region"@en ;
dc:identifier "102-BFO" ;
rdfs:subClassOf ns1:BFO_0000008 ;
skos:definition "(Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts"@en ;
skos:example "A temporal region that is occupied by a process boundary; the moment at which a finger is detached in an industrial accident"@en .
ns1:BFO_0000008 a owl:Class ;
rdfs:label "temporal region"@en ;
dc:identifier "100-BFO" ;
rdfs:subClassOf ns1:BFO_0000003 ;
skos:definition "(Elucidation) A temporal region is an occurrent over which processes can unfold"@en ;
skos:example "As for zero-dimensional temporal region and one-dimensional temporal region"@en .
a ns2:Variable .
ns1:RO_0000053 a owl:InverseFunctionalProperty,
owl:ObjectProperty ;
rdfs:label "has characteristic"@en ;
ns1:IAO_0000112 "this apple is bearer of this red color"@en,
"this vase is bearer of this fragility"@en ;
ns1:IAO_0000115 "Inverse of characteristic_of"@en ;
ns1:IAO_0000116 "A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist."@en ;
rdfs:range ns1:BFO_0000020 .
a ns2:Variable .
[] a ns2:Imp ;
ns2:body [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000053 ] ;
rdf:rest [ a ns2:AtomList ;
rdf:first [ a ns2:ClassAtom ;
ns2:argument1 ;
ns2:classPredicate ns1:BFO_0000023 ] ;
rdf:rest () ] ] ;
ns2:head [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000087 ] ;
rdf:rest () ] .
[] a ns2:Imp ;
ns2:body [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000053 ] ;
rdf:rest [ a ns2:AtomList ;
rdf:first [ a ns2:ClassAtom ;
ns2:argument1 ;
ns2:classPredicate ns1:BFO_0000034 ] ;
rdf:rest () ] ] ;
ns2:head [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000085 ] ;
rdf:rest () ] .
[] a ns2:Imp ;
ns2:body [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000053 ] ;
rdf:rest [ a ns2:AtomList ;
rdf:first [ a ns2:ClassAtom ;
ns2:argument1 ;
ns2:classPredicate ns1:BFO_0000016 ] ;
rdf:rest () ] ] ;
ns2:head [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000091 ] ;
rdf:rest () ] .
[] a owl:AllDisjointClasses ;
owl:members ( ns1:BFO_0000004 ns1:BFO_0000020 ns1:BFO_0000031 ) .
[] a ns2:Imp ;
ns2:body [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000053 ] ;
rdf:rest [ a ns2:AtomList ;
rdf:first [ a ns2:ClassAtom ;
ns2:argument1 ;
ns2:classPredicate ns1:BFO_0000019 ] ;
rdf:rest () ] ] ;
ns2:head [ a ns2:AtomList ;
rdf:first [ a ns2:IndividualPropertyAtom ;
ns2:argument1 ;
ns2:argument2 ;
ns2:propertyPredicate ns1:RO_0000086 ] ;
rdf:rest () ] .