@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology ; owl:versionIRI ; "A pizza ontology aligned to BFO 2020 - the BFO that NFDIcore 3.0.5 builds on - and made from BFO and NFDIcore design patterns. It holds no individuals: its instance data is a separate knowledge graph built from ROBOT templates."@en ; ; "Pizza BFO Ontology"@en ; rdfs:label "Pizza BFO Ontology"@en ; owl:priorVersion ; owl:versionInfo "1.0.0" . ################################################################# # Annotation properties ################################################################# ### http://purl.obolibrary.org/obo/IAO_0000112 rdf:type owl:AnnotationProperty . ### http://purl.obolibrary.org/obo/IAO_0000115 rdf:type owl:AnnotationProperty . ### http://purl.obolibrary.org/obo/IAO_0000116 rdf:type owl:AnnotationProperty . ### http://purl.org/dc/elements/1.1/identifier rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/created rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/description rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/license rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/source rdf:type owl:AnnotationProperty . ### http://purl.org/dc/terms/title rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#altLabel rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#definition rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#example rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#prefLabel rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#scopeNote rdf:type owl:AnnotationProperty . ### http://www.w3.org/ns/prov#wasDerivedFrom rdf:type owl:AnnotationProperty . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0010015 rdf:type owl:AnnotationProperty . ################################################################# # Object Properties ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000054 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain ; rdfs:range ; "206-BFO" ; rdfs:label "has realization"@en ; "realized in"@en ; "b has realization c =Def c realizes b"@en ; "As for realizes"@en ; "has realization"@en . ### http://purl.obolibrary.org/obo/BFO_0000055 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; "059-BFO" ; rdfs:label "realizes"@en ; "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@en ; "A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart"@en ; "realizes"@en . ### http://purl.obolibrary.org/obo/BFO_0000066 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( ) ] ; "143-BFO" ; rdfs:label "occurs in"@en ; "b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time t, if b exists at t then c exists at t & there exist spatial regions s and s' where b spatially projects onto s at t & c occupies spatial region s' at t & s is a continuant part of s' at t"@en ; "A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank"@en ; "occurs in"@en . ### http://purl.obolibrary.org/obo/BFO_0000121 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has temporal part"@en ; "b has temporal part c =Def c temporal part of b"@en . ### http://purl.obolibrary.org/obo/BFO_0000176 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain ; rdfs:range ; "221-BFO" ; rdfs:label "continuant part of"@en ; "b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t"@en ; "Milk teeth continuant part of human; surgically removed tumour continuant part of organism"@en ; "continuant part of at some time"@en . ### http://purl.obolibrary.org/obo/BFO_0000178 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; "271-BFO" ; rdfs:label "has continuant part"@en ; "b has continuant part c =Def c continuant part of b"@en ; "has continuant part at some time"@en . ### http://purl.obolibrary.org/obo/BFO_0000183 rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( ) ] ; "267-BFO" ; rdfs:label "environs"@en ; "b environs c =Def c occurs in b"@en ; "Mouth environs process of mastication; city environs traffic"@en ; "environs"@en . ### http://purl.obolibrary.org/obo/BFO_0000184 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty ; rdfs:domain ; rdfs:range ; rdfs:label "history of"@en ; "(Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c"@en . ### http://purl.obolibrary.org/obo/BFO_0000185 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has history"@en ; "b has history c =Def c history of b"@en . ### http://purl.obolibrary.org/obo/BFO_0000194 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( [ owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf ] ) ; rdf:type owl:Class ] ) ] ; rdfs:range ; "260-BFO" ; rdfs:label "specifically depended on by"@en ; "s-depended on by"@en ; "b specifically depended on by c =Def c specifically depends on b"@en ; "Coloured object specifically depended on by colour"@en ; "specifically depended on by"@en . ### http://purl.obolibrary.org/obo/BFO_0000195 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( [ owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf ] ) ; rdf:type owl:Class ] ) ] ; "012-BFO" ; rdfs:label "specifically depends on"@en ; "s-depends on"@en ; "(Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c"@en ; "A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other"@en ; "specifically depends on"@en ; "The analogue of specifically depends on for occurrents is has participant."@en . ### http://purl.obolibrary.org/obo/BFO_0000196 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; owl:inverseOf ; rdfs:domain [ owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf ] ) ; rdf:type owl:Class ] ; rdfs:range ; "053-BFO" ; rdfs:label "bearer of"@en ; "b bearer of c =Def c inheres in b"@en ; "A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality"@en ; "bearer of"@en . ### http://purl.obolibrary.org/obo/BFO_0000197 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdfs:domain ; rdfs:range [ owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf ] ) ; rdf:type owl:Class ] ; "051-BFO" ; rdfs:label "inheres in"@en ; "b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c"@en ; "A shape inheres in a shaped object; a mass inheres in a material entity"@en ; "inheres in"@en . ### http://purl.obolibrary.org/obo/BFO_0000199 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range ; rdfs:label "occupies temporal region"@en ; "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en . ### http://purl.obolibrary.org/obo/BFO_0000222 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has first instant"@en ; "t has first instant t' =Def t' first instant of t"@en . ### http://purl.obolibrary.org/obo/BFO_0000224 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has last instant"@en ; "t has last instant t' =Def t' last instant of t"@en . ### http://purl.obolibrary.org/obo/IAO_0000235 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; "inverse of the relation 'denotes'"@en ; rdfs:label "denoted by"@en . ### http://purl.obolibrary.org/obo/RO_0000057 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; "this blood coagulation has participant this blood clot"@en , "this investigation has participant this investigator"@en , "this process has participant this input material (or this output material)"@en ; "a relation between a process and a continuant, in which the continuant is somehow involved in the process"@en ; "Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time."@en ; rdfs:label "has participant"@en . ### http://purl.obolibrary.org/obo/RO_0000059 rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( ) ] ; rdfs:range ; "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)."@en , "An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)."@en ; "A relationship between a specifically dependent continuant or process and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant or process also depends on that same independent continuant. Multiple specifically dependent continuants or processes can concretize the same generically dependent continuant."@en ; rdfs:label "concretizes"@en . ### http://purl.obolibrary.org/obo/RO_0000081 rdf:type owl:ObjectProperty ; owl:inverseOf ; "this investigator role is a role of this person"@en ; "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence"@en ; "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:label "role of"@en . ### http://purl.obolibrary.org/obo/RO_0000087 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; "this person has role this investigator role (more colloquially: this person has this role of investigator)"@en ; "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence"@en ; "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:label "has role"@en . ### http://purl.obolibrary.org/obo/RO_0001025 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; rdfs:domain , [ owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf ] ) ; rdf:type owl:Class ] ; rdfs:range , [ owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf ] ) ; rdf:type owl:Class ] ; "my brain is located in my head"@en , "this rat is located in this cage"@en ; "a relation between two independent continuants, the target and the location, in which the target is entirely within the location"@en ; "Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus"@en , "Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@en ; rdfs:label "located in"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001003 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdfs:domain ; rdfs:range ; "Relates a pizza to the base that is a part of it."@en ; rdfs:label "has base"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001004 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdfs:domain ; rdfs:range ; "Relates a pizza to a topping that is a part of it."@en ; rdfs:label "has topping"@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000182 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has parent organization"@en ; "The property is a parental relationship between organizations."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0001006 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdfs:range ; rdfs:label "has external identifier"@en ; "The property relates a thing to the corresponding entry or related concept of the item in a central register, e.g. GND, VIAF, RISM, Wikidata or ROR."@en . ################################################################# # Data properties ################################################################# ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0001007 rdf:type owl:DatatypeProperty ; rdfs:label "has value"@en ; "A relation between an information content entity and its specific value."@en . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000001 rdf:type owl:Class ; "Julius Caesar"@en , "Verdi’s Requiem"@en , "the Second World War"@en , "your body mass index"@en ; "BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81"@en ; "001-BFO" ; rdfs:label "entity"@en ; "(Elucidation) An entity is anything that exists or has existed or will exist"@en ; "Julius Caesar; the Second World War; your body mass index; Verdi's Requiem"@en ; "entity"@en . ### http://purl.obolibrary.org/obo/BFO_0000002 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] ; owl:disjointWith ; "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 ; "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 ; "008-BFO" ; rdfs:label "continuant"@en ; "(Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity"@en ; "A human being; a tennis ball; a cave; a region of space; someone's temperature"@en ; "continuant"@en . ### http://purl.obolibrary.org/obo/BFO_0000003 rdf:type owl:Class ; rdfs:subClassOf ; "An entity that has temporal parts and that happens, unfolds or develops through time."@en ; "BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region"@en , "BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players."@en ; "077-BFO" ; rdfs:label "occurrent"@en ; "(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 ; "As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant."@en ; "occurrent"@en . ### http://purl.obolibrary.org/obo/BFO_0000004 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] ; owl:disjointWith , ; "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 ; "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 ; "017-BFO" ; rdfs:label "independent continuant"@en ; "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 ; "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 ; "independent continuant"@en . ### http://purl.obolibrary.org/obo/BFO_0000006 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] ; "035-BFO" ; rdfs:label "spatial region"@en ; "(Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time"@en ; "As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region"@en ; "spatial region"@en . ### http://purl.obolibrary.org/obo/BFO_0000008 rdf:type owl:Class ; rdfs:subClassOf ; "100-BFO" ; rdfs:label "temporal region"@en ; "(Elucidation) A temporal region is an occurrent over which processes can unfold"@en ; "As for zero-dimensional temporal region and one-dimensional temporal region"@en ; "temporal region"@en . ### http://purl.obolibrary.org/obo/BFO_0000011 rdf:type owl:Class ; rdfs:subClassOf ; "095-BFO" ; rdfs:label "spatiotemporal region"@en ; "(Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime"@en ; "The spatiotemporal region occupied by the development of a cancer tumour; the spatiotemporal region occupied by an orbiting satellite"@en ; "spatiotemporal region"@en ; "'Spacetime' here refers to the maximal instance of the universal spatiotemporal region."@en . ### http://purl.obolibrary.org/obo/BFO_0000015 rdf:type owl:Class ; rdfs:subClassOf ; "a process of cell-division, \\ a beating of the heart"@en , "a process of meiosis"@en , "a process of sleeping"@en , "the course of a disease"@en , "the flight of a bird"@en , "the life of an organism"@en , "your process of aging."@en ; "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])"@en ; "BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)"@en ; "083-BFO" ; rdfs:label "process"@en ; "event"@en ; "(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant"@en ; "An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer"@en ; "process"@en . ### http://purl.obolibrary.org/obo/BFO_0000016 rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith ; "062-BFO" ; rdfs:label "disposition"@en ; "internally-grounded realizable entity"@en ; "(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 ; "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 ; "disposition"@en . ### http://purl.obolibrary.org/obo/BFO_0000017 rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith ; "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 ; "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 ; "058-BFO" ; rdfs:label "realizable entity"@en ; "(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 ; "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 ; "realizable entity"@en . ### http://purl.obolibrary.org/obo/BFO_0000019 rdf:type owl:Class ; rdfs:subClassOf ; "055-BFO" ; rdfs:label "quality"@en ; "(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 ; "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 ; "quality"@en . ### http://purl.obolibrary.org/obo/BFO_0000020 rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith ; "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 ; "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 ; "050-BFO" ; rdfs:label "specifically dependent continuant"@en ; "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 ; "(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 ; "specifically dependent continuant"@en . ### http://purl.obolibrary.org/obo/BFO_0000023 rdf:type owl:Class ; rdfs:subClassOf ; "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 ; "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 ; "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 ; "061-BFO" ; rdfs:label "role"@en ; "externally-grounded realizable entity"@en ; "(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 ; "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 ; "role"@en . ### http://purl.obolibrary.org/obo/BFO_0000024 rdf:type owl:Class ; rdfs:subClassOf ; "027-BFO" ; rdfs:label "fiat object part"@en ; "(Elucidation) A fiat object part b is a material entity & such that if b exists then it is continuant part of some object c & demarcated from the remainder of c by one or more fiat surfaces"@en ; "The upper and lower lobes of the left lung; the dorsal and ventral surfaces of the body; the Western hemisphere of the Earth; the FMA:regional parts of an intact human body"@en ; "fiat object part"@en . ### http://purl.obolibrary.org/obo/BFO_0000027 rdf:type owl:Class ; rdfs:subClassOf ; "025-BFO" ; rdfs:label "object aggregate"@en ; "(Elucidation) An object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit"@en ; "The aggregate of the musicians in a symphony orchestra and their instruments; the aggregate of bearings in a constant velocity axle joint; the nitrogen atoms in the atmosphere; a collection of cells in a blood biobank"@en ; "object aggregate"@en ; "'Exactly' means that there are no parts of the object aggregate other than its member parts." , "The unit can, at certain times, consist of exactly one object, for example, when a wolf litter loses all but one of its pups, but it must at some time have a plurality of member parts." . ### http://purl.obolibrary.org/obo/BFO_0000029 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( ) ] ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( ) ] ] ; "034-BFO" ; rdfs:label "site"@en ; "(Elucidation) A site is a three-dimensional immaterial entity whose boundaries either (partially or wholly) coincide with the boundaries of one or more material entities or have locations determined in relation to some material entity"@en ; "A hole in a portion of cheese; a rabbit hole; the Grand Canyon; the Piazza San Marco; the kangaroo-joey-containing hole of a kangaroo pouch; your left nostril (a fiat part - the opening - of your left nasal cavity); the lumen of your gut; the hold of a ship; the interior of the trunk of your car; hole in an engineered floor joist"@en ; "site"@en . ### http://purl.obolibrary.org/obo/BFO_0000030 rdf:type owl:Class ; rdfs:subClassOf ; "024-BFO" ; rdfs:label "object"@en ; "(Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested"@en ; "An organism; a fish tank; a planet; a laptop; a valve; a block of marble; an ice cube"@en ; "object"@en ; "A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User Guide"@en . ### http://purl.obolibrary.org/obo/BFO_0000031 rdf:type owl:Class ; rdfs:subClassOf ; "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 ; "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 ; "074-BFO" ; rdfs:label "generically dependent continuant"@en ; "g-dependent continuant"@en ; "(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 ; "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 ; "generically dependent continuant"@en . ### http://purl.obolibrary.org/obo/BFO_0000034 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "function"@en ; "(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 . ### http://purl.obolibrary.org/obo/BFO_0000035 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] ; "084-BFO" ; rdfs:label "process boundary"@en ; "p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts"@en ; "The boundary between the 2nd and 3rd year of your life"@en ; "process boundary"@en . ### http://purl.obolibrary.org/obo/BFO_0000038 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( ) ] ] ; owl:disjointWith ; "103-BFO" ; rdfs:label "one-dimensional temporal region"@en ; "(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 ; "The temporal region during which a process occurs"@en ; "one-dimensional temporal region"@en . ### http://purl.obolibrary.org/obo/BFO_0000040 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( ) ] ] ; owl:disjointWith ; "019-BFO" ; rdfs:label "material entity"@en ; "(Elucidation) A material entity is an independent continuant has some portion of matter as continuant part"@en ; "A human being; the undetached arm of a human being; an aggregate of human beings"@en ; "material entity"@en . ### http://purl.obolibrary.org/obo/BFO_0000140 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] ; "029-BFO" ; rdfs:label "continuant fiat boundary"@en ; "(Elucidation) A continuant fiat boundary b is an immaterial entity that is of zero, one or two dimensions & such that there is no time t when b has a spatial region as continuant part & whose location is determined in relation to some material entity"@en ; "As for fiat point, fiat line, fiat surface"@en ; "continuant fiat boundary"@en . ### http://purl.obolibrary.org/obo/BFO_0000141 rdf:type owl:Class ; rdfs:subClassOf ; "028-BFO" ; rdfs:label "immaterial entity"@en ; "b is an immaterial entity =Def b is an independent continuant which is such that there is no time t when it has a material entity as continuant part"@en ; "As for fiat point, fiat line, fiat surface, site"@en ; "immaterial entity"@en . ### http://purl.obolibrary.org/obo/BFO_0000145 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "relational quality"@en ; "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 . ### http://purl.obolibrary.org/obo/BFO_0000148 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:allValuesFrom ] ; rdfs:label "zero-dimensional temporal region"@en ; "(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 . ### http://purl.obolibrary.org/obo/BFO_0000182 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "history"@en ; "(Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity"@en . ### http://purl.obolibrary.org/obo/BFO_0000203 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "temporal instant"@en ; "(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part"@en . ### http://purl.obolibrary.org/obo/IAO_0000030 rdf:type owl:Class ; rdfs:subClassOf ; "Examples of information content entites include journal articles, data, graphical layouts, and graphs."@en , "Examples of information content entites include journal articles, data, graphical layouts, and graphs." ; "A generically dependent continuant that is about some thing."@en , "An information content entity is an entity that is generically dependent on some artifact and stands in relation of aboutness to some entity." ; "2014-03-10: The use of \"thing\" is intended to be general enough to include universals and configurations (see https://groups.google.com/d/msg/information-ontology/GBxvYZCk1oc/-L6B5fSBBTQJ)."@en , """information_content_entity 'is_encoded_in' some digital_entity in obi before split (040907). information_content_entity 'is_encoded_in' some physical_document in obi before split (040907). Previous. An information content entity is a non-realizable information entity that 'is encoded in' some digital or physical entity."""@en ; rdfs:label "information content entity"@en , "information content entity" . ### http://purl.obolibrary.org/obo/IAO_0000300 rdf:type owl:Class ; rdfs:subClassOf ; "Words, sentences, paragraphs, and the written (non-figure) parts of publications are all textual entities"@en ; "A textual entity is a part of a manifestation (FRBR sense), a generically dependent continuant whose concretizations are patterns of glyphs intended to be interpreted as words, formulas, etc."@en ; "AR, (IAO call 2009-09-01): a document as a whole is not typically a textual entity, because it has pictures in it - rather there are parts of it that are textual entities. Examples: The title, paragraph 2 sentence 7, etc."@en , "MC, 2009-09-14 (following IAO call 2009-09-01): textual entities live at the FRBR (http://en.wikipedia.org/wiki/Functional_Requirements_for_Bibliographic_Records) manifestation level. Everything is significant: line break, pdf and html versions of same document are different textual entities."@en ; rdfs:label "textual entity"@en . ### http://purl.obolibrary.org/obo/IAO_0000303 rdf:type owl:Class ; rdfs:subClassOf ; "University of Colorado Denver School of Medicine"@en ; "A textual entity intended to identify a particular institution"@en ; rdfs:label "institutional identification"@en . ### http://purl.obolibrary.org/obo/IAO_0000429 rdf:type owl:Class ; rdfs:subClassOf ; "Alan Ruttenberg 1/3/2012 - Provisional id, see issue at https://github.com/information-artifact-ontology/IAO/issues/130&thanks=130&ts=1325636583"@en ; rdfs:label "email address"@en . ### http://purl.obolibrary.org/obo/IAO_0000444 rdf:type owl:Class ; rdfs:subClassOf ; "A planned process of making information, such as literature, music, and software etc., available to the public for sale or for free."@en ; rdfs:label "publishing process"@en . ### http://purl.obolibrary.org/obo/IAO_0000578 rdf:type owl:Class ; rdfs:subClassOf ; "The sentence \"The article has Pubmed ID 12345.\" contains a CRID that has two parts: one part is the CRID symbol, which is '12345'; the other part denotes the CRID registry, which is Pubmed."@en ; "An information content entity that consists of a CRID symbol and additional information about the CRID registry to which it belongs."@en ; "2014-05-05: In defining this term we take no position on what the CRID denotes. In particular do not assume it denotes a *record* in the CRID registry (since the registry might not have 'records')."@en , "Alan, IAO call 20101124: potentially the CRID denotes the instance it was associated with during creation."@en , "Note, IAO call 20101124: URIs are not always CRID, as not centrally registered. We acknowledge that CRID is a subset of a larger identifier class, but this subset fulfills our current needs. OBI PURLs are CRID as they are registered with OCLC. UPCs (Universal Product Codes from AC Nielsen)are not CRID as they are not centrally registered."@en ; rdfs:label "centrally registered identifier"@en . ### http://purl.obolibrary.org/obo/IAO_0020000 rdf:type owl:Class ; rdfs:subClassOf ; "An information content entity that is the outcome of a dubbing process and is used to refer to one instance of entity shared by a group of people to refer to that individual entity."@en ; rdfs:label "identifier"@en . ### http://purl.obolibrary.org/obo/OBI_0000245 rdf:type owl:Class ; rdfs:subClassOf ; "PMID: 16353909.AAPS J. 2005 Sep 22;7(2):E274-80. Review. The joint food and agriculture organization of the United Nations/World Health Organization Expert Committee on Food Additives and its role in the evaluation of the safety of veterinary drug residues in foods."@en ; "An entity that can bear roles, has members, and has a set of organization rules. Members of organizations are either organizations themselves or individual people. Members can bear specific organization member roles that are determined in the organization rules. The organization rules also determine how decisions are made on behalf of the organization by the organization members."@en ; """BP: The definition summarizes long email discussions on the OBI developer, roles, biomaterial and denrie branches. It leaves open if an organization is a material entity or a dependent continuant, as no consensus was reached on that. The current placement as material is therefore temporary, in order to move forward with development. Here is the entire email summary, on which the definition is based: 1) there are organization_member_roles (president, treasurer, branch editor), with individual persons as bearers 2) there are organization_roles (employer, owner, vendor, patent holder) 3) an organization has a charter / rules / bylaws, which specify what roles there are, how they should be realized, and how to modify the charter/rules/bylaws themselves. It is debatable what the organization itself is (some kind of dependent continuant or an aggregate of people). This also determines who/what the bearer of organization_roles' are. My personal favorite is still to define organization as a kind of 'legal entity', but thinking it through leads to all kinds of questions that are clearly outside the scope of OBI. Interestingly enough, it does not seem to matter much where we place organization itself, as long as we can subclass it (University, Corporation, Government Agency, Hospital), instantiate it (Affymetrix, NCBI, NIH, ISO, W3C, University of Oklahoma), and have it play roles. This leads to my proposal: We define organization through the statements 1 - 3 above, but without an 'is a' statement for now. We can leave it in its current place in the is_a hierarchy (material entity) or move it up to 'continuant'. We leave further clarifications to BFO, and close this issue for now."""@en ; rdfs:label "organization"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001000 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "An oven-baked flat bread with toppings: an object with a base and toppings as its parts."@en ; rdfs:label "pizza"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001001 rdf:type owl:Class ; rdfs:subClassOf ; "The baked dough of a pizza that its toppings rest on, a part of the pizza."@en ; rdfs:label "pizza base"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001002 rdf:type owl:Class ; rdfs:subClassOf ; "A portion of food put on a pizza base before it is baked."@en ; rdfs:label "pizza topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001005 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza base rolled thin and baked crisp."@en ; rdfs:label "thin and crispy base"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001006 rdf:type owl:Class ; rdfs:subClassOf ; "A thick pizza base baked in a pan."@en ; rdfs:label "deep pan base"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001007 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping made of cheese."@en ; rdfs:label "cheese topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001008 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping made of meat."@en ; rdfs:label "meat topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001009 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping made of a vegetable."@en ; rdfs:label "vegetable topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001010 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping made of fruit."@en ; rdfs:label "fruit topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001011 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping of mozzarella."@en ; rdfs:label "mozzarella topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001012 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping of parmesan."@en ; rdfs:label "parmesan topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001013 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping of gorgonzola."@en ; rdfs:label "gorgonzola topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001014 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping of ham."@en ; rdfs:label "ham topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001015 rdf:type owl:Class ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A pizza topping of spicy salami."@en ; rdfs:label "spicy salami topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001016 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping of tomato."@en ; rdfs:label "tomato topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001017 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping of mushroom."@en ; rdfs:label "mushroom topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001018 rdf:type owl:Class ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A pizza topping of chili pepper."@en ; rdfs:label "chili pepper topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001019 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza topping of pineapple."@en ; rdfs:label "pineapple topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001020 rdf:type owl:Class ; rdfs:subClassOf ; "A pizza that a menu offers under a name."@en ; rdfs:label "named pizza"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001021 rdf:type owl:Class ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A named pizza topped with mozzarella, tomato."@en ; rdfs:label "margherita"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001022 rdf:type owl:Class ; rdfs:subClassOf , , , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A named pizza topped with mozzarella, tomato, spicy salami."@en ; rdfs:label "diavola"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001023 rdf:type owl:Class ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A named pizza topped with mozzarella, parmesan, gorgonzola, tomato."@en ; rdfs:label "quattro formaggi"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001024 rdf:type owl:Class ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A named pizza topped with mozzarella, tomato, mushroom."@en ; rdfs:label "funghi"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001025 rdf:type owl:Class ; rdfs:subClassOf , , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A named pizza topped with mozzarella, tomato, ham, pineapple."@en ; rdfs:label "hawaiian"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001026 rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf ; "Any pizza that has at least one cheese topping."@en ; rdfs:label "cheesy pizza"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001027 rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf ; "Any pizza that has at least one meat topping."@en ; rdfs:label "meaty pizza"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001028 rdf:type owl:Class ; rdfs:subClassOf ; "The quality of a food of being hot to taste, which inheres in the food."@en ; rdfs:label "spiciness"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001029 rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith ; "A spiciness that is barely hot."@en ; rdfs:label "mild spiciness"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001030 rdf:type owl:Class ; rdfs:subClassOf ; "A spiciness that is clearly hot."@en ; rdfs:label "hot spiciness"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001031 rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf ; "A pizza topping that bears a hot spiciness."@en ; rdfs:label "spicy topping"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001032 rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf ; "Any pizza that has at least one spicy topping."@en ; rdfs:label "spicy pizza"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001033 rdf:type owl:Class ; rdfs:subClassOf ; "An oven a pizzeria bakes its pizzas in."@en ; rdfs:label "pizza oven"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001034 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "An organization that makes and sells pizzas."@en ; rdfs:label "pizzeria"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001035 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "The role of an agent who bakes pizzas, realized in pizza baking."@en ; rdfs:label "pizza baker role"@en . ### https://ebrahimnorouzi.github.io/pizza-bfo/PIZZABFO_0001036 rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; "A process in which a pizza is baked in a pizza oven by an agent in the pizza baker role."@en ; rdfs:label "pizza baking"@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000005 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "place"@en ; "A site that refers to geographical locations, such as cities, countries, landmarks, and natural environments."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000102 rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; rdfs:label "agent"@en ; "An independent continuant that acts autonomously and is entrusted with the authority to represent, negotiate, or act on behalf of another agent."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000106 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "city"@en ; "A place that refers to a densely populated urban area."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000114 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "contact point role"@en ; "A role inherent in an agent that is realized when the agent is a contact point of a resource or a project."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000118 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "contributor role"@en ; "A role inherent in an agent that provides input, resources, or effort to support or enhance a project, work, or process."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000119 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "country"@en ; "A place that refers to a defined geographical area distinguished by its territorial boundaries, governance structure, and sovereignty."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000193 rdf:type owl:Class ; rdfs:subClassOf , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:label "publisher role"@en ; "A role inherent in an agent that is realized when the bearer participates in the publishing of the document."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000228 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "service product role"@en ; "Role of an immaterial entity that facilitates the delivery or support of a service product, ensuring its proper execution and value realization."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0000229 rdf:type owl:Class ; rdfs:subClassOf , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:label "agent role"@en ; "Role of an independent continuant that is realized through an agent's actions, enabling the agent to perform specific functions or achieve particular outcomes within a system or context."@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0001013 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "ROR identifier"@en ; "ROR (Research Organization Registry) is a global, open, and community-driven registry of research organizations. It provides unique identifiers for institutions involved in research, enabling better data integration, disambiguation, and interoperability across scholarly communication systems."@en ; "ROR"@en . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0001041 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "postal code"@en ; "An identifier that denotes some postal delivery route, some aggregate of postal delivery routes or a geographical region and was created for the purpose of sorting and delivering mail." . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0001042 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "zone improvement plan code"@en ; "A postal code that is used in the United States for the purpose of sorting and delivering mail, and that denotes some postal delivery route or some aggregate of postal delivery routes." . ### https://nfdi.fiz-karlsruhe.de/ontology/NFDI_0001058 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "co spokesperson role"@en ; "A role inherent in an agent that is realized when shareing the responsibilities of representing an organization, group, or initiative, typically communicating its views, policies, or findings to the public."@en . ################################################################# # General axioms ################################################################# [ rdf:type owl:AllDisjointClasses ; owl:members ( ) ] . [ rdf:type owl:AllDisjointClasses ; owl:members ( ) ] . [ rdf:type owl:AllDisjointClasses ; owl:members ( ) ] . ### Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/