@prefix : <https://github.com/tibonto/aeon#> .
@prefix dc: <http://dublincore.org/specifications/dublin-core/dcmi-terms/2012-06-14/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix bfo: <http://purl.obolibrary.org/obo/bfo/2020/bfo.owl#> .
@prefix iao: <http://purl.obolibrary.org/obo/iao/2020-06-10/iao.owl#> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix aeon: <https://github.com/tibonto/aeon#> .
@prefix obda: <https://w3id.org/obda/vocabulary#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@base <https://github.com/tibonto/aeon> .

<https://github.com/tibonto/aeon> rdf:type owl:Ontology ;
                                   owl:versionIRI <https://github.com/tibonto/aeon/releases/tag/v0.2.9> ;
                                   <http://purl.org/dc/elements/1.1/contributor> "Christian Hauschke" ,
                                                                                 "Christoph Lange" ,
                                                                                 "Michael Conlon" ,
                                                                                 "Philip Strömert" ;
                                   <http://purl.org/dc/elements/1.1/creator> "ConfIDent project" ;
                                   <http://purl.org/dc/elements/1.1/description> "The Academic Event Ontology (AEON) is used to represent information regarding academic events. The ontology supports the identification, development, management, evaluation, and impact assessment of events, components of events and event series, as well as identification and reuse of works presented or developed at events. The ontology is independent of knowledge, creative domain, or topics related to events. AEON is focused on events and assumes the representation of many entities associated with events such as attendees, locations, academic works, datetimes, and processes are defined in compatible ontologies." ;
                                   <http://purl.org/dc/elements/1.1/title> "Academic Event Ontology"@en ;
                                   owl:versionInfo "v0.2.9" .

#################################################################
#    Annotation properties
#################################################################

###  http://dublincore.org/specifications/dublin-core/dcmi-terms/2012-06-14/creator
dc:creator rdf:type owl:AnnotationProperty .


###  http://purl.obolibrary.org/obo/BFO_0000179
obo:BFO_0000179 rdf:type owl:AnnotationProperty .


###  http://purl.obolibrary.org/obo/BFO_0000180
obo:BFO_0000180 rdf:type owl:AnnotationProperty .


###  http://purl.obolibrary.org/obo/IAO_0000111
obo:IAO_0000111 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "editor preferred term"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "The concise, meaningful, and human-friendly name for a class or property preferred by the ontology developers. (US-English)"@en ;
                obo:IAO_0000117 "PERSON:Daniel Schober"@en ;
                obo:IAO_0000119 "GROUP:OBI:<http://purl.obolibrary.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "editor preferred term"@en .


###  http://purl.obolibrary.org/obo/IAO_0000112
obo:IAO_0000112 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "example of usage"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "A phrase describing how a term should be used and/or a citation to a work which uses it. May also include other kinds of examples that facilitate immediate understanding, such as widely know prototypes or instances of a class, or cases where a relation is said to hold."@en ;
                obo:IAO_0000117 "PERSON:Daniel Schober"@en ;
                obo:IAO_0000119 "GROUP:OBI:<http://purl.obolibrary.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "example of usage"@en .


###  http://purl.obolibrary.org/obo/IAO_0000113
obo:IAO_0000113 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "in branch"@en ;
                obo:IAO_0000115 "An annotation property indicating which module the terms belong to. This is currently experimental and not implemented yet."@en ;
                obo:IAO_0000117 "GROUP:OBI"@en ;
                obo:IAO_0000119 "OBI_0000277"@en ;
                rdfs:label "in branch"@en .


###  http://purl.obolibrary.org/obo/IAO_0000114
obo:IAO_0000114 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "has curation status"@en ;
                obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ,
                                "PERSON:Bill Bug"@en ,
                                "PERSON:Melanie Courtot"@en ;
                rdfs:label "has curation status"@en .


###  http://purl.obolibrary.org/obo/IAO_0000115
obo:IAO_0000115 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "definition"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions."@en ;
                obo:IAO_0000116 """2012-04-05: 
Barry Smith

The official OBI definition, explaining the meaning of a class or property: 'Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions'  is terrible.

Can you fix to something like:

A statement of necessary and sufficient conditions explaining the meaning of an expression referring to a class or property.

Alan Ruttenberg

Your proposed definition is a reasonable candidate, except that it is very common that necessary and sufficient conditions are not given. Mostly they are necessary, occasionally they are necessary and sufficient or just sufficient. Often they use terms that are not themselves defined and so they effectively can't be evaluated by those criteria. 

On the specifics of the proposed definition:

We don't have definitions of 'meaning' or 'expression' or 'property'. For 'reference' in the intended sense I think we use the term 'denotation'. For 'expression', I think we you mean symbol, or identifier. For 'meaning' it differs for class and property. For class we want documentation that let's the intended reader determine whether an entity is instance of the class, or not. For property we want documentation that let's the intended reader determine, given a pair of potential relata, whether the assertion that the relation holds is true. The 'intended reader' part suggests that we also specify who, we expect, would be able to understand the definition, and also generalizes over human and computer reader to include textual and logical definition. 

Personally, I am more comfortable weakening definition to documentation, with instructions as to what is desirable. 

We also have the outstanding issue of how to aim different definitions to different audiences. A clinical audience reading chebi wants a different sort of definition documentation/definition from a chemistry trained audience, and similarly there is a need for a definition that is adequate for an ontologist to work with.  """@en ;
                obo:IAO_0000117 "PERSON:Daniel Schober"@en ;
                obo:IAO_0000119 "GROUP:OBI:<http://purl.obolibrary.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "definition"@en .


###  http://purl.obolibrary.org/obo/IAO_0000116
obo:IAO_0000116 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "editor note"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "An administrative note intended for its editor. It may not be included in the publication version of the ontology, so it should contain nothing necessary for end users to understand the ontology."@en ;
                obo:IAO_0000117 "PERSON:Daniel Schober"@en ;
                obo:IAO_0000119 "GROUP:OBI:<http://purl.obofoundry.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "editor note"@en .


###  http://purl.obolibrary.org/obo/IAO_0000117
obo:IAO_0000117 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "term editor"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "Name of editor entering the term in the file. The term editor is a point of contact for information regarding the term. The term editor may be, but is not always, the author of the definition, which may have been worked upon by several people"@en ;
                obo:IAO_0000116 "20110707, MC: label update to term editor and definition modified accordingly. See https://github.com/information-artifact-ontology/IAO/issues/115."@en ;
                obo:IAO_0000117 "PERSON:Daniel Schober"@en ;
                obo:IAO_0000119 "GROUP:OBI:<http://purl.obolibrary.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "term editor"@en .


###  http://purl.obolibrary.org/obo/IAO_0000118
obo:IAO_0000118 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "alternative term"@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "An alternative name for a class or property which means the same thing as the preferred name (semantically equivalent)"@en ;
                obo:IAO_0000117 "PERSON:Daniel Schober"@en ;
                obo:IAO_0000119 "GROUP:OBI:<http://purl.obolibrary.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "alternative term"@en .


###  http://purl.obolibrary.org/obo/IAO_0000119
obo:IAO_0000119 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "definition source"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "Formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007"@en ;
                obo:IAO_0000117 "PERSON:Daniel Schober"@en ;
                obo:IAO_0000119 "Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w"@en ,
                                "GROUP:OBI:<http://purl.obolibrary.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "definition source"@en .


###  http://purl.obolibrary.org/obo/IAO_0000231
obo:IAO_0000231 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "has obsolescence reason"@en ;
                obo:IAO_0000115 "Relates an annotation property to an obsolescence reason. The values of obsolescence reasons come from a list of predefined terms, instances of the class obsolescence reason specification."@en ;
                obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ,
                                "PERSON:Melanie Courtot"@en ;
                rdfs:label "has obsolescence reason"@en .


###  http://purl.obolibrary.org/obo/IAO_0000232
obo:IAO_0000232 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "curator note"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "An administrative note of use for a curator but of no use for a user"@en ;
                obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "curator note"@en .


###  http://purl.obolibrary.org/obo/IAO_0000233
obo:IAO_0000233 rdf:type owl:AnnotationProperty .


###  http://purl.obolibrary.org/obo/IAO_0000234
obo:IAO_0000234 rdf:type owl:AnnotationProperty .


###  http://purl.obolibrary.org/obo/IAO_0000412
obo:IAO_0000412 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "imported from"@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "For external terms/classes, the ontology from which the term was imported"@en ;
                obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ,
                                "PERSON:Melanie Courtot"@en ;
                obo:IAO_0000119 "GROUP:OBI:<http://purl.obolibrary.org/obo/obi>"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "imported from"@en .


###  http://purl.obolibrary.org/obo/IAO_0000424
obo:IAO_0000424 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "expand expression to"@en ;
                obo:IAO_0000112 """ObjectProperty: RO_0002104
Label: has plasma membrane part
Annotations: IAO_0000424 \"http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.org/obo/owl/GO#GO_0005886 and http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)\"
"""@en ;
                obo:IAO_0000115 "A macro expansion tag applied to an object property (or possibly a data property)  which can be used by a macro-expansion engine to generate more complex expressions from simpler ones"@en ;
                obo:IAO_0000117 "Chris Mungall"@en ;
                rdfs:label "expand expression to"@en .


###  http://purl.obolibrary.org/obo/IAO_0000425
obo:IAO_0000425 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "expand assertion to"@en ;
                obo:IAO_0000112 """ObjectProperty: RO???
Label: spatially disjoint from
Annotations: expand_assertion_to \"DisjointClasses: (http://purl.obolibrary.org/obo/BFO_0000051 some ?X)  (http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)\"
"""@en ;
                obo:IAO_0000115 "A macro expansion tag applied to an annotation property which can be expanded into a more detailed axiom."@en ;
                obo:IAO_0000117 "Chris Mungall"@en ;
                rdfs:label "expand assertion to"@en .


###  http://purl.obolibrary.org/obo/IAO_0000426
obo:IAO_0000426 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "first order logic expression"@en ;
                obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ;
                rdfs:label "first order logic expression"@en .


###  http://purl.obolibrary.org/obo/IAO_0000427
obo:IAO_0000427 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "antisymmetric property"@en ;
                obo:IAO_0000112 "part_of antisymmetric property xsd:true"@en ;
                obo:IAO_0000115 "Use boolean value xsd:true to indicate that the property is an antisymmetric property"@en ;
                obo:IAO_0000117 "Alan Ruttenberg"@en ;
                rdfs:label "antisymmetric property"@en .


###  http://purl.obolibrary.org/obo/IAO_0000600
obo:IAO_0000600 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "elucidation"@en ;
                obo:IAO_0000117 "person:Alan Ruttenberg"@en ;
                obo:IAO_0000119 "Person:Barry Smith"@en ;
                obo:IAO_0000600 "Primitive terms in a highest-level ontology such as BFO are terms which are so basic to our understanding of reality that there is no way of defining them in a non-circular fashion. For these, therefore, we can provide only elucidations, supplemented by examples and by axioms"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "elucidation"@en .


###  http://purl.obolibrary.org/obo/IAO_0000601
obo:IAO_0000601 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "has associated axiom(nl)"@en ;
                obo:IAO_0000117 "Person:Alan Ruttenberg"@en ;
                obo:IAO_0000119 "Person:Alan Ruttenberg"@en ;
                obo:IAO_0000600 "An axiom associated with a term expressed using natural language"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "has associated axiom(nl)"@en .


###  http://purl.obolibrary.org/obo/IAO_0000602
obo:IAO_0000602 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "has associated axiom(fol)"@en ;
                obo:IAO_0000117 "Person:Alan Ruttenberg"@en ;
                obo:IAO_0000119 "Person:Alan Ruttenberg"@en ;
                obo:IAO_0000600 "An axiom expressed in first order logic using CLIF syntax"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "has associated axiom(fol)"@en .


###  http://purl.obolibrary.org/obo/IAO_0006011
obo:IAO_0006011 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "may be identical to"@en ;
                obo:IAO_0000115 "A annotation relationship between two terms in an ontology that may refer to the same (natural) type but where more evidence is required before terms are merged."@en ;
                obo:IAO_0000117 "David Osumi-Sutherland"@en ;
                obo:IAO_0000233 "#40"@en ;
                obo:IAO_0000234 "VFB"@en ;
                rdfs:comment "Edges asserting this should be annotated with to record evidence supporting the assertion and its provenance."@en ;
                rdfs:label "may be identical to"@en .


###  http://purl.obolibrary.org/obo/IAO_0006012
obo:IAO_0006012 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "scheduled for obsoletion on or after"@en ;
                obo:IAO_0000115 "Used when the class or object is scheduled for obsoletion/deprecation on or after a particular date."@en ;
                obo:IAO_0000117 "Chris Mungall, Jie Zheng"@en ;
                obo:IAO_0000233 "https://github.com/geneontology/go-ontology/issues/15532"@en ,
                                "https://github.com/information-artifact-ontology/ontology-metadata/issues/32"@en ;
                obo:IAO_0000234 "GO ontology"@en ;
                rdfs:label "scheduled for obsoletion on or after"@en ;
                rdfs:range xsd:dateTime .


###  http://purl.obolibrary.org/obo/IAO_0010000
obo:IAO_0010000 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "has axiom id"@en ;
                obo:IAO_0000117 "Person:Alan Ruttenberg"@en ;
                obo:IAO_0000119 "Person:Alan Ruttenberg"@en ;
                obo:IAO_0000600 "A URI that is intended to be unique label for an axiom used for tracking change to the ontology. For an axiom expressed in different languages, each expression is given the same URI"@en ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "has axiom label"@en .


###  http://purl.obolibrary.org/obo/IAO_0100001
obo:IAO_0100001 rdf:type owl:AnnotationProperty ;
                obo:IAO_0000111 "term replaced by"@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "Use on obsolete terms, relating the term to another term that can be used as a substitute"@en ;
                obo:IAO_0000117 "Person:Alan Ruttenberg"@en ;
                obo:IAO_0000119 "Person:Alan Ruttenberg"@en ;
                rdfs:comment "Add as annotation triples in the granting ontology"@en ;
                rdfs:label "term replaced by"@en .


###  http://purl.obolibrary.org/obo/RO_0001900
obo:RO_0001900 rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/contributor
<http://purl.org/dc/elements/1.1/contributor> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/creator
<http://purl.org/dc/elements/1.1/creator> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/date
<http://purl.org/dc/elements/1.1/date> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/description
<http://purl.org/dc/elements/1.1/description> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/identifier
<http://purl.org/dc/elements/1.1/identifier> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/source
<http://purl.org/dc/elements/1.1/source> rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/title
<http://purl.org/dc/elements/1.1/title> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2003/06/sw-vocab-status/ns#term_status
ns:term_status rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#altLabel
skos:altLabel rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#definition
skos:definition rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#example
skos:example rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#prefLabel
skos:prefLabel rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#scopeNote
skos:scopeNote rdf:type owl:AnnotationProperty .


###  https://github.com/tibonto/aeon#SMW_datatype
aeon:SMW_datatype rdf:type owl:AnnotationProperty .


###  https://github.com/tibonto/aeon#SMW_import_info
aeon:SMW_import_info rdf:type owl:AnnotationProperty .


###  https://github.com/tibonto/aeon#WikidataLabel
aeon:WikidataLabel rdf:type owl:AnnotationProperty ;
                   obo:IAO_0000115 "WikidataLabel is used to map a class or property to a certain label in the Wikidata namespace." .


###  https://github.com/tibonto/aeon#WikidataURI
aeon:WikidataURI rdf:type owl:AnnotationProperty ;
                 obo:IAO_0000115 "WikidataURI is used to map a class or property to the URI in the Wikidata namespace." .


#################################################################
#    Object Properties
#################################################################

###  http://purl.obolibrary.org/obo/BFO_0000050
obo:BFO_0000050 rdf:type owl:ObjectProperty ;
                owl:inverseOf obo:BFO_0000051 ;
                rdf:type owl:TransitiveProperty ;
                obo:IAO_0000111 "is part of"@en ;
                obo:IAO_0000112 "my brain is part of my body (continuant parthood, two material entities)"@en ,
                                "my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)"@en ,
                                "this day is part of this year (occurrent parthood)"@en ;
                obo:IAO_0000115 "a core relation that holds between a part and its whole"@en ;
                obo:IAO_0000116 "Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other."@en ,
                                "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime"@en ,
                                """Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.)

A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'."""@en ;
                obo:IAO_0000118 "part_of"@en ;
                obo:RO_0001900 obo:RO_0001901 ;
                rdfs:label "part of"@en ;
                rdfs:seeAlso "http://www.obofoundry.org/ro/#OBO_REL:part_of" .


###  http://purl.obolibrary.org/obo/BFO_0000051
obo:BFO_0000051 rdf:type owl:ObjectProperty ,
                         owl:TransitiveProperty ;
                obo:IAO_0000111 "has part"@en ;
                obo:IAO_0000112 "my body has part my brain (continuant parthood, two material entities)"@en ,
                                "my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)"@en ,
                                "this year has part this day (occurrent parthood)"@en ;
                obo:IAO_0000115 "a core relation that holds between a whole and its part"@en ;
                obo:IAO_0000116 "Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part."@en ,
                                "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime"@en ,
                                """Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.)

A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'."""@en ;
                obo:IAO_0000118 "has_part"@en ;
                obo:RO_0001900 obo:RO_0001901 ;
                rdfs:label "has part"@en .


###  http://purl.obolibrary.org/obo/BFO_0000054
obo:BFO_0000054 rdf:type owl:ObjectProperty ;
                owl:inverseOf obo:BFO_0000055 ;
                rdfs:domain obo:BFO_0000017 ;
                rdfs:range obo:BFO_0000015 ;
                obo:IAO_0000111 "realized in"@en ;
                obo:IAO_0000112 "this disease is realized in this disease course"@en ,
                                "this fragility is realized in this shattering"@en ,
                                "this investigator role is realized in this investigation"@en ;
                obo:IAO_0000118 "is realized by"@en ,
                                "realized_in"@en ;
                obo:IAO_0000600 "[copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])"@en ;
                <http://purl.org/dc/elements/1.1/identifier> "206-BFO" ;
                rdfs:comment "Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "has realization"@en ,
                           "realized in"@en ;
                skos:definition "b has realization c =Def c realizes b"@en ;
                skos:example "As for realizes"@en ;
                skos:prefLabel "has realization"@en .


###  http://purl.obolibrary.org/obo/BFO_0000055
obo:BFO_0000055 rdf:type owl:ObjectProperty ;
                rdfs:domain obo:BFO_0000015 ;
                rdfs:range obo:BFO_0000017 ;
                obo:IAO_0000111 "realizes"@en ;
                obo:IAO_0000112 "this disease course realizes this disease"@en ,
                                "this investigation realizes this investigator role"@en ,
                                "this shattering realizes this fragility"@en ;
                obo:IAO_0000600 "to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])"@en ;
                <http://purl.org/dc/elements/1.1/identifier> "059-BFO" ;
                rdfs:comment "Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process" ;
                rdfs:isDefinedBy obo:iao.owl ;
                rdfs:label "realizes"@en ;
                skos:definition "(Elucidation) b realizes c means: b is a process & c is a realizable entity that inheres in d & for all t, if b has participant d at t then c exists at t & the type instantiated by b is correlated with the type instantiated by c"@en ;
                skos:example "A disposition to go bald is realized in a balding process; a role of student is realized in studying processes; the pumping function of a heart is realized in processes of pumping."@en ;
                skos:prefLabel "realizes"@en .


###  http://purl.obolibrary.org/obo/BFO_0000056
obo:BFO_0000056 rdf:type owl:ObjectProperty ;
                owl:inverseOf obo:BFO_0000057 ;
                rdfs:domain [ rdf:type owl:Class ;
                              owl:unionOf ( obo:BFO_0000020
                                            obo:BFO_0000031
                                            [ owl:intersectionOf ( obo:BFO_0000004
                                                                   [ rdf:type owl:Class ;
                                                                     owl:complementOf obo:BFO_0000006
                                                                   ]
                                                                 ) ;
                                              rdf:type owl:Class
                                            ]
                                          )
                            ] ;
                rdfs:range obo:BFO_0000015 ;
                <http://purl.org/dc/elements/1.1/identifier> "250-BFO" ;
                rdfs:label "participates in at some time"@en ;
                skos:definition "b participates in p at some time =Def for some time t (p has participant b at t)"@en ;
                skos:prefLabel "participates in at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000057
obo:BFO_0000057 rdf:type owl:ObjectProperty ;
                rdfs:domain obo:BFO_0000015 ;
                rdfs:range [ rdf:type owl:Class ;
                             owl:unionOf ( obo:BFO_0000020
                                           obo:BFO_0000031
                                           [ owl:intersectionOf ( obo:BFO_0000004
                                                                  [ rdf:type owl:Class ;
                                                                    owl:complementOf obo:BFO_0000006
                                                                  ]
                                                                ) ;
                                             rdf:type owl:Class
                                           ]
                                         )
                           ] ;
                <http://purl.org/dc/elements/1.1/identifier> "248-BFO" ;
                rdfs:label "has participant at some time"@en ;
                skos:definition "p has participant c at some time =Def for some time t (b is a process, c is a continuant, and c participates in p some way at t"@en ;
                skos:prefLabel "has participant at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000066
obo:BFO_0000066 rdf:type owl:ObjectProperty ;
                owl:inverseOf obo:BFO_0000067 ;
                rdfs:domain obo:BFO_0000003 ,
                            [ rdf:type owl:Class ;
                              owl:unionOf ( obo:BFO_0000015
                                            obo:BFO_0000035
                                          )
                            ] ;
                rdfs:range obo:BFO_0000004 ,
                           [ rdf:type owl:Class ;
                             owl:unionOf ( obo:BFO_0000029
                                           obo:BFO_0000040
                                         )
                           ] ;
                obo:IAO_0000111 "occurs in"@en ;
                obo:IAO_0000115 "b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(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 is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t"@en ;
                obo:IAO_0000118 "occurs_in"@en ,
                                "unfolds in"@en ,
                                "unfolds_in"@en ;
                <http://purl.org/dc/elements/1.1/identifier> "143-BFO" ;
                rdfs:comment "Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "occurs in"@en ;
                skos:definition "b occurs in c =Def b is a process or a process boundary and c is a material entity or immaterial entity & there exists a spatiotemporal region r and b occupies spatiotemporal region r & for all 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 ;
                skos:example "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 ;
                skos:prefLabel "occurs in"@en .


###  http://purl.obolibrary.org/obo/BFO_0000067
obo:BFO_0000067 rdf:type owl:ObjectProperty ;
                obo:IAO_0000111 "site of"@en ;
                obo:IAO_0000115 "[copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(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 is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t"@en ;
                rdfs:comment "Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "contains process"@en .


###  http://purl.obolibrary.org/obo/BFO_0000082
obo:BFO_0000082 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000171 ;
                rdf:type owl:TransitiveProperty ;
                rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
                                                   [ rdf:type owl:Class ;
                                                     owl:complementOf obo:BFO_0000006
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
                rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
                                                  [ rdf:type owl:Class ;
                                                    owl:complementOf obo:BFO_0000006
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
                <http://purl.org/dc/elements/1.1/identifier> "235-BFO" ;
                rdfs:label "located in at all times"@en ;
                skos:definition "b located in c at all times =Def for all times t, b exists at t implies (b and c are independent continuants and not spatial regions, and the spatial region which b occupies at t is a (proper or improper) continuant part of the spatial region which c occupies at t)"@en ;
                skos:prefLabel "located in at all times"@en .


###  http://purl.obolibrary.org/obo/BFO_0000110
obo:BFO_0000110 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000178 ;
                rdf:type owl:TransitiveProperty ;
                rdfs:domain obo:BFO_0000002 ;
                rdfs:range obo:BFO_0000002 ;
                <http://purl.org/dc/elements/1.1/identifier> "223-BFO" ;
                rdfs:label "has continuant part at all times"@en ;
                skos:definition "b has continuant part c at all times =Def for all times t, b exists at t implies (b and c are continuants & b is a part of c at t)"@en ;
                skos:prefLabel "has continuant part at all times"@en .


###  http://purl.obolibrary.org/obo/BFO_0000115
obo:BFO_0000115 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000178 ;
                rdfs:domain obo:BFO_0000040 ;
                rdfs:range obo:BFO_0000040 ;
                <http://purl.org/dc/elements/1.1/identifier> "230-BFO" ;
                rdfs:label "has member part at some time"@en ;
                skos:definition "b has member part c at some time =Def for some time t (c member part of b at t)"@en ;
                skos:prefLabel "has member part at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000117
obo:BFO_0000117 rdf:type owl:ObjectProperty ;
                owl:inverseOf obo:BFO_0000132 ;
                rdf:type owl:TransitiveProperty ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "202-BFO" ;
                rdfs:label "has occurrent part"@en ;
                skos:definition "(Elucidation) b has occurrent part c means: c is a part of b & b and c are occurrents"@en ;
                skos:example "Mary's life has occurrent part Mary's 5th birthday. "@en ;
                skos:prefLabel "has occurrent part"@en .


###  http://purl.obolibrary.org/obo/BFO_0000118
obo:BFO_0000118 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000117 ;
                owl:inverseOf obo:BFO_0000138 ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "154-BFO" ;
                rdfs:label "has proper occurrent part"@en ;
                skos:definition "b has proper occurrent part c =Def b has occurrent part c & b and c are not identical"@en ;
                skos:example "As for has occurrent part. "@en ;
                skos:prefLabel "has proper occurrent part"@en .


###  http://purl.obolibrary.org/obo/BFO_0000121
obo:BFO_0000121 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000117 ;
                owl:inverseOf obo:BFO_0000139 ;
                rdf:type owl:TransitiveProperty ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "211-BFO" ;
                rdfs:label "has temporal part"@en ;
                skos:definition "b has temporal part c =Def c temporal part of b"@en ;
                skos:example "Your life has temporal part the first year of your life. "@en ;
                skos:prefLabel "has temporal part"@en .


###  http://purl.obolibrary.org/obo/BFO_0000124
obo:BFO_0000124 rdf:type owl:ObjectProperty ;
                owl:inverseOf obo:BFO_0000171 ;
                rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
                                                   [ rdf:type owl:Class ;
                                                     owl:complementOf obo:BFO_0000006
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
                rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
                                                  [ rdf:type owl:Class ;
                                                    owl:complementOf obo:BFO_0000006
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
                <http://purl.org/dc/elements/1.1/identifier> "236-BFO" ;
                rdfs:label "location of at some time"@en ;
                skos:definition "b location of c at some time =Def for some time t (c located in b at t)"@en ;
                skos:prefLabel "location of at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000132
obo:BFO_0000132 rdf:type owl:ObjectProperty ,
                         owl:TransitiveProperty ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "003-BFO" ;
                rdfs:label "occurrent part of"@en ;
                skos:definition "(Elucidation) b occurrent part of c =Def b is a part of c & b and c are occurrents"@en ;
                skos:example "Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match.  "@en ;
                skos:prefLabel "occurrent part of"@en .


###  http://purl.obolibrary.org/obo/BFO_0000136
obo:BFO_0000136 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000139 ;
                owl:inverseOf obo:BFO_0000181 ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "116-BFO" ;
                rdfs:label "proper temporal part of"@en ;
                skos:definition "b proper temporal part of c =Def b temporal part of c & not (b = c)"@en ;
                skos:example "As for temporal part of. "@en ;
                skos:prefLabel "proper temporal part of"@en .


###  http://purl.obolibrary.org/obo/BFO_0000138
obo:BFO_0000138 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000132 ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "005-BFO" ;
                rdfs:label "proper occurrent part of"@en ;
                skos:definition "b proper occurrent part of c =Def b occurrent part of c & b and c are not identical"@en ;
                skos:example "As for occurrent part of. "@en ;
                skos:prefLabel "proper occurrent part of"@en .


###  http://purl.obolibrary.org/obo/BFO_0000139
obo:BFO_0000139 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000132 ;
                rdf:type owl:TransitiveProperty ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "078-BFO" ;
                rdfs:label "temporal part of"@en ;
                skos:definition "b temporal part of c =Def b occurrent part of c & either b and c are temporal regions or  b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto  or b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies"@en ;
                skos:example "Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game."@en ;
                skos:prefLabel "temporal part of"@en .


###  http://purl.obolibrary.org/obo/BFO_0000166
obo:BFO_0000166 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000056 ;
                rdfs:domain [ rdf:type owl:Class ;
                              owl:unionOf ( obo:BFO_0000020
                                            obo:BFO_0000031
                                            [ owl:intersectionOf ( obo:BFO_0000004
                                                                   [ rdf:type owl:Class ;
                                                                     owl:complementOf obo:BFO_0000006
                                                                   ]
                                                                 ) ;
                                              rdf:type owl:Class
                                            ]
                                          )
                            ] ;
                rdfs:range obo:BFO_0000015 ;
                <http://purl.org/dc/elements/1.1/identifier> "251-BFO" ;
                rdfs:label "participates in at all times"@en ;
                skos:definition "b participates in p at all times =Def for all times t, b exists at t implies (p has participant b at t)"@en ;
                skos:prefLabel "participates in at all times"@en .


###  http://purl.obolibrary.org/obo/BFO_0000167
obo:BFO_0000167 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000057 ;
                rdfs:domain obo:BFO_0000015 ;
                rdfs:range [ rdf:type owl:Class ;
                             owl:unionOf ( obo:BFO_0000020
                                           obo:BFO_0000031
                                           [ owl:intersectionOf ( obo:BFO_0000004
                                                                  [ rdf:type owl:Class ;
                                                                    owl:complementOf obo:BFO_0000006
                                                                  ]
                                                                ) ;
                                             rdf:type owl:Class
                                           ]
                                         )
                           ] ;
                <http://purl.org/dc/elements/1.1/identifier> "249-BFO" ;
                rdfs:label "has participant at all times"@en ;
                skos:definition "p has participant c at all times =Def for all times t, b exists at t implies (b is a process, c is a continuant, and c participates in p some way at t)"@en ;
                skos:prefLabel "has participant at all times"@en .


###  http://purl.obolibrary.org/obo/BFO_0000170
obo:BFO_0000170 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000124 ;
                rdf:type owl:TransitiveProperty ;
                rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
                                                   [ rdf:type owl:Class ;
                                                     owl:complementOf obo:BFO_0000006
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
                rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
                                                  [ rdf:type owl:Class ;
                                                    owl:complementOf obo:BFO_0000006
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
                <http://purl.org/dc/elements/1.1/identifier> "237-BFO" ;
                rdfs:label "location of at all times"@en ;
                skos:definition "b location of c at all times =Def for all times t, b exists at t implies (c located in b at t)"@en ;
                skos:prefLabel "location of at all times"@en .


###  http://purl.obolibrary.org/obo/BFO_0000171
obo:BFO_0000171 rdf:type owl:ObjectProperty ;
                rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
                                                   [ rdf:type owl:Class ;
                                                     owl:complementOf obo:BFO_0000006
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
                rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
                                                  [ rdf:type owl:Class ;
                                                    owl:complementOf obo:BFO_0000006
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
                <http://purl.org/dc/elements/1.1/identifier> "234-BFO" ;
                rdfs:label "located in at some time"@en ;
                skos:definition "b located in c at some time =Def for some time t (b and c are independent continuants and not spatial regions, and the spatial region which b occupies at t is a (proper or improper) continuant part of the spatial region which c occupies at t)"@en ;
                skos:prefLabel "located in at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000174
obo:BFO_0000174 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000178 ;
                rdfs:domain obo:BFO_0000002 ;
                rdfs:range obo:BFO_0000002 ;
                <http://purl.org/dc/elements/1.1/identifier> "226-BFO" ;
                rdfs:label "has proper continuant part at some time"@en ;
                skos:definition "b has proper continuant part c at some time =Def c proper continuant part of b at some time"@en ;
                skos:prefLabel "has proper continuant part at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000178
obo:BFO_0000178 rdf:type owl:ObjectProperty ;
                rdfs:domain obo:BFO_0000002 ;
                rdfs:range obo:BFO_0000002 ;
                <http://purl.org/dc/elements/1.1/identifier> "271-BFO" ;
                rdfs:label "has continuant part at some time"@en ;
                skos:definition "b has continuant part c at some time =Def for some time t (b and c are continuants & b is a part of c at t)"@en ;
                skos:prefLabel "has continuant part at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000181
obo:BFO_0000181 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000121 ;
                rdfs:domain obo:BFO_0000003 ;
                rdfs:range obo:BFO_0000003 ;
                <http://purl.org/dc/elements/1.1/identifier> "212-BFO" ;
                rdfs:label "has proper temporal part"@en ;
                skos:definition "b has proper temporal part c =Def c proper temporal part of b"@en ;
                skos:example "As for has temporal part. "@en ;
                skos:prefLabel "has proper temporal part"@en .


###  http://purl.obolibrary.org/obo/BFO_0000210
obo:BFO_0000210 rdf:type owl:ObjectProperty ;
                rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
                                                   [ rdf:type owl:Class ;
                                                     owl:complementOf obo:BFO_0000006
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
                rdfs:range obo:BFO_0000006 ;
                <http://purl.org/dc/elements/1.1/identifier> "232-BFO" ;
                rdfs:label "occupies spatial region at some time"@en ;
                skos:definition "an independent continuant c that is not a spatial region occupies spatial region r at some time =Def for some time t (every continuant part of c occupies some continuant part of r at t and no continuant part of c occupies any spatial region that is not a continuant part of r at t)"@en ;
                skos:prefLabel "occupies spatial region at some time"@en .


###  http://purl.obolibrary.org/obo/BFO_0000211
obo:BFO_0000211 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000210 ;
                rdf:type owl:FunctionalProperty ;
                rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
                                                   [ rdf:type owl:Class ;
                                                     owl:complementOf obo:BFO_0000006
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
                rdfs:range obo:BFO_0000006 ;
                <http://purl.org/dc/elements/1.1/identifier> "233-BFO" ;
                rdfs:label "occupies spatial region at all times"@en ;
                skos:definition "an independent continuant c that is not a spatial region occupies spatial region r at all times =Def for all times t, b exists at t implies (every continuant part of c occupies some continuant part of r at t and no continuant part of c occupies any spatial region that is not a continuant part of r at t)"@en ;
                skos:prefLabel "occupies spatial region at all times"@en .


###  http://purl.obolibrary.org/obo/IAO_0000039
obo:IAO_0000039 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000051 ;
                rdf:type owl:FunctionalProperty ;
                rdfs:range obo:IAO_0000003 ;
                rdfs:label "has measurement unit label"@en .


###  http://purl.obolibrary.org/obo/IAO_0000136
obo:IAO_0000136 rdf:type owl:ObjectProperty ;
                rdfs:domain obo:IAO_0000030 ;
                obo:IAO_0000112 "This document is about information artifacts and their representations"@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "A (currently) primitive relation that relates an information artifact to an entity."@en ;
                obo:IAO_0000116 """7/6/2009 Alan Ruttenberg. Following discussion with Jonathan Rees, and introduction of \"mentions\" relation. Weaken the is_about relationship to be primitive. 

We will try to build it back up by elaborating the various subproperties that are more precisely defined.

Some currently missing phenomena that should be considered \"about\" are predications - \"The only person who knows the answer is sitting beside me\" , Allegory, Satire, and other literary forms that can be topical without explicitly mentioning the topic."""@en ;
                obo:IAO_0000117 "person:Alan Ruttenberg"@en ;
                obo:IAO_0000119 "Smith, Ceusters, Ruttenberg, 2000 years of philosophy"@en ;
                rdfs:label "is about"@en .


###  http://purl.obolibrary.org/obo/IAO_0000219
obo:IAO_0000219 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:IAO_0000136 ;
                owl:inverseOf obo:IAO_0000235 ;
                rdfs:domain obo:IAO_0000030 ;
                rdfs:range obo:BFO_0000001 ;
                obo:IAO_0000112 "A person's name denotes the person. A variable name in a computer program denotes some piece of memory. Lexically equivalent strings can denote different things, for instance \"Alan\" can denote different people. In each case of use, there is a case of the denotation relation obtaining, between \"Alan\" and the person that is being named."@en ;
                obo:IAO_0000115 "A primitive, instance-level, relation obtaining between an information content entity and some portion of reality. Denotation is what happens when someone creates an information content entity E in order to specifically refer to something. The only relation between E and the thing is that E can be used to 'pick out' the thing. This relation connects those two together. Freedictionary.com sense 3: To signify directly; refer to specifically"@en ;
                obo:IAO_0000116 """2009-11-10 Alan Ruttenberg. Old definition said the following to emphasize the generic nature of this relation. We no longer have 'specifically denotes', which would have been primitive, so make this relation primitive.
g denotes r =def 
r is a portion of reality
there is some c that is a concretization of g 
every c that is a concretization of g specifically denotes r"""@en ;
                obo:IAO_0000117 "person:Alan Ruttenberg"@en ;
                obo:IAO_0000119 "Conversations with Barry Smith, Werner Ceusters, Bjoern Peters, Michel Dumontier, Melanie Courtot, James Malone, Bill Hogan"@en ;
                rdfs:comment ""@en ;
                rdfs:label "denotes"@en .


###  http://purl.obolibrary.org/obo/IAO_0000235
obo:IAO_0000235 rdf:type owl:ObjectProperty ;
                rdfs:domain obo:BFO_0000001 ;
                rdfs:range obo:IAO_0000030 ;
                obo:IAO_0000115 "inverse of the relation 'denotes'"@en ;
                obo:IAO_0000117 "Person: Jie Zheng, Chris Stoeckert, Mike Conlon"@en ;
                obo:IAO_0000233 <https://github.com/information-artifact-ontology/IAO/issues/206> ;
                rdfs:label "denoted by"@en .


###  http://purl.obolibrary.org/obo/IAO_0000413
obo:IAO_0000413 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:IAO_0000136 ;
                rdfs:domain obo:IAO_0000416 ;
                rdfs:range obo:BFO_0000015 ;
                obo:IAO_0000114 obo:IAO_0000120 ;
                obo:IAO_0000115 "relates a process to a time-measurement-datum that represents the duration of the process"@en ;
                obo:IAO_0000117 "Person:Alan Ruttenberg"@en ;
                rdfs:label "is duration of"@en .


###  http://purl.obolibrary.org/obo/IAO_0000581
obo:IAO_0000581 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000051 ;
                rdf:type owl:FunctionalProperty ;
                rdfs:domain obo:IAO_0000582 ;
                rdfs:range obo:IAO_0000416 ;
                obo:IAO_0000114 obo:IAO_0000123 ;
                obo:IAO_0000115 "relates a time stamped measurement datum to the time measurement datum that denotes the time when the measurement was taken"@en ;
                obo:IAO_0000117 "Alan Ruttenberg"@en ;
                rdfs:label "has time stamp"@en .


###  http://purl.obolibrary.org/obo/IAO_0000583
obo:IAO_0000583 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:BFO_0000051 ;
                rdfs:domain obo:IAO_0000582 ;
                rdfs:range [ owl:intersectionOf ( obo:IAO_0000109
                                                  [ rdf:type owl:Class ;
                                                    owl:complementOf obo:IAO_0000416
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
                obo:IAO_0000114 obo:IAO_0000123 ;
                obo:IAO_0000115 "relates a time stamped measurement datum to the measurement datum that was measured"@en ;
                obo:IAO_0000117 "Alan Ruttenberg"@en ;
                rdfs:label "has measurement datum"@en .


###  http://purl.obolibrary.org/obo/OBI_0000293
obo:OBI_0000293 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:RO_0000057 ;
                rdfs:domain obo:OBI_0000011 ;
                obo:IAO_0000111 "has_specified_input"@en ,
                                "has_specified_input"^^xsd:string ;
                obo:IAO_0000112 "see is_input_of example_of_usage"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "A relation between a planned process and a continuant participating in that process that is not created during  the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of."@en ;
                obo:IAO_0000116 "8/17/09: specified inputs of one process are not necessarily specified inputs of a larger process that it is part of. This is in contrast to how 'has participant' works."^^xsd:string ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Bjoern Peters"^^xsd:string ,
                                "PERSON: Larry Hunter"^^xsd:string ,
                                "PERSON: Melanie Coutot"^^xsd:string ;
                obo:IAO_0000412 obo:obi.owl ;
                rdfs:label "has_specified_input"@en .


###  http://purl.obolibrary.org/obo/OBI_0000299
obo:OBI_0000299 rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf obo:RO_0000057 ;
                rdfs:domain obo:OBI_0000011 ;
                obo:IAO_0000111 "has_specified_output"@en ,
                                "has_specified_output"^^xsd:string ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of."@en ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Bjoern Peters"^^xsd:string ,
                                "PERSON: Larry Hunter"^^xsd:string ,
                                "PERSON: Melanie Courtot"^^xsd:string ;
                obo:IAO_0000412 obo:obi.owl ;
                rdfs:label "has_specified_output"@en .


###  http://purl.obolibrary.org/obo/RO_0000052
obo:RO_0000052 rdf:type owl:ObjectProperty ;
               owl:inverseOf obo:RO_0000053 ;
               obo:IAO_0000111 "inheres in"@en ;
               obo:IAO_0000112 "this fragility inheres in this vase"@en ,
                               "this red color inheres in this apple"@en ;
               obo:IAO_0000115 "a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence"@en ;
               obo:IAO_0000116 "A dependent inheres in its bearer at all times for which the dependent exists."@en ;
               obo:IAO_0000118 "inheres_in"@en ;
               obo:RO_0001900 obo:RO_0001901 ;
               rdfs:label "inheres in"@en .


###  http://purl.obolibrary.org/obo/RO_0000053
obo:RO_0000053 rdf:type owl:ObjectProperty ;
               rdfs:range obo:BFO_0000020 ;
               obo:IAO_0000111 "bearer of"@en ;
               obo:IAO_0000112 "this apple is bearer of this red color"@en ,
                               "this vase is bearer of this fragility"@en ;
               obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence"@en ;
               obo: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 ;
               obo:IAO_0000118 "bearer_of"@en ,
                               "is bearer of"@en ;
               obo:RO_0001900 obo:RO_0001901 ;
               rdfs:label "bearer of"@en .


###  http://purl.obolibrary.org/obo/RO_0000056
obo:RO_0000056 rdf:type owl:ObjectProperty ;
               owl:inverseOf obo:RO_0000057 ;
               rdfs:domain obo:BFO_0000002 ;
               rdfs:range obo:BFO_0000003 ;
               obo:IAO_0000111 "participates in"@en ;
               obo:IAO_0000112 "this blood clot participates in this blood coagulation"@en ,
                               "this input material (or this output material) participates in this process"@en ,
                               "this investigator participates in this investigation"@en ;
               obo:IAO_0000115 "a relation between a continuant and a process, in which the continuant is somehow involved in the process"@en ;
               obo:IAO_0000118 "participates_in"@en ;
               rdfs:label "participates in"@en .


###  http://purl.obolibrary.org/obo/RO_0000057
obo:RO_0000057 rdf:type owl:ObjectProperty ;
               rdfs:domain obo:BFO_0000003 ;
               rdfs:range obo:BFO_0000002 ;
               obo:IAO_0000111 "has participant"@en ;
               obo:IAO_0000112 "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 ;
               obo:IAO_0000115 "a relation between a process and a continuant, in which the continuant is somehow involved in the process"@en ;
               obo:IAO_0000116 "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 ;
               obo:IAO_0000118 "has_participant"@en ;
               <http://purl.org/dc/elements/1.1/source> "http://www.obofoundry.org/ro/#OBO_REL:has_participant" ;
               rdfs:label "has participant"@en .


###  http://purl.obolibrary.org/obo/RO_0000058
obo:RO_0000058 rdf:type owl:ObjectProperty ;
               owl:inverseOf obo:RO_0000059 ;
               rdfs:domain obo:BFO_0000031 ;
               rdfs:range obo:BFO_0000020 ;
               obo:IAO_0000112 "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 journal article (a generically dependent continuant) is concretized as the quality (a specifically 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 ;
               obo:IAO_0000115 "A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants."@en ;
               rdfs:label "is concretized as"@en .


###  http://purl.obolibrary.org/obo/RO_0000059
obo:RO_0000059 rdf:type owl:ObjectProperty ;
               rdfs:domain obo:BFO_0000020 ;
               rdfs:range obo:BFO_0000031 ;
               obo:IAO_0000112 "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 ;
               obo:IAO_0000115 "A relationship between a specifically dependent continuant 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 also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant."@en ;
               rdfs:label "concretizes"@en .


###  http://purl.obolibrary.org/obo/RO_0000080
obo:RO_0000080 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000052 ;
               owl:inverseOf obo:RO_0000086 ;
               obo:IAO_0000112 "this red color is a quality of this apple"@en ;
               obo: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 ;
               obo:IAO_0000116 "A quality inheres in its bearer at all times for which the quality exists."@en ;
               obo:IAO_0000118 "is quality of"@en ,
                               "quality_of"@en ;
               rdfs:label "quality of"@en .


###  http://purl.obolibrary.org/obo/RO_0000081
obo:RO_0000081 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000052 ;
               owl:inverseOf obo:RO_0000087 ;
               obo:IAO_0000112 "this investigator role is a role of this person"@en ;
               obo: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 ;
               obo: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 ;
               obo:IAO_0000118 "is role of"@en ,
                               "role_of"@en ;
               rdfs:label "role of"@en .


###  http://purl.obolibrary.org/obo/RO_0000086
obo:RO_0000086 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000053 ;
               rdfs:range obo:BFO_0000019 ;
               obo:IAO_0000112 "this apple has quality this red color"@en ;
               obo: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 ;
               obo: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 ;
               obo:IAO_0000118 "has_quality"@en ;
               rdfs:label "has quality"@en .


###  http://purl.obolibrary.org/obo/RO_0000087
obo:RO_0000087 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000053 ;
               rdfs:domain obo:BFO_0000004 ;
               rdfs:range obo:BFO_0000023 ;
               obo:IAO_0000112 "this person has role this investigator role (more colloquially: this person has this role of investigator)"@en ;
               obo: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 ;
               obo: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 ;
               obo:IAO_0000118 "has_role"@en ;
               rdfs:label "has role"@en .


###  http://purl.obolibrary.org/obo/RO_0001015
obo:RO_0001015 rdf:type owl:ObjectProperty ;
               owl:inverseOf obo:RO_0001025 ;
               rdf:type owl:TransitiveProperty ;
               obo:IAO_0000111 "is location of"@en ;
               obo:IAO_0000112 "my head is the location of my brain"@en ,
                               "this cage is the location of this rat"@en ;
               obo:IAO_0000115 "a relation between two independent continuants, the location and the target, in which the target is entirely within the location"@en ;
               obo:IAO_0000116 "Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime"@en ;
               obo:IAO_0000118 "location_of"@en ;
               obo:RO_0001900 obo:RO_0001901 ;
               rdfs:label "location of"@en .


###  http://purl.obolibrary.org/obo/RO_0001025
obo:RO_0001025 rdf:type owl:ObjectProperty ,
                        owl:TransitiveProperty ;
               rdfs:domain obo:BFO_0000004 ,
                           [ owl:intersectionOf ( obo:BFO_0000004
                                                  [ rdf:type owl:Class ;
                                                    owl:complementOf obo:BFO_0000006
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
               rdfs:range obo:BFO_0000004 ,
                          [ owl:intersectionOf ( obo:BFO_0000004
                                                 [ rdf:type owl:Class ;
                                                   owl:complementOf obo:BFO_0000006
                                                 ]
                                               ) ;
                            rdf:type owl:Class
                          ] ;
               obo:IAO_0000111 "located in"@en ;
               obo:IAO_0000112 "my brain is located in my head"@en ,
                               "this rat is located in this cage"@en ;
               obo:IAO_0000115 "a relation between two independent continuants, the target and the location, in which the target is entirely within the location"@en ;
               obo:IAO_0000116 "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 https://code.google.com/p/obo-relations/wiki/ROAndTime"@en ;
               obo:IAO_0000118 "located_in"@en ;
               obo:RO_0001900 obo:RO_0001901 ;
               <http://purl.org/dc/elements/1.1/source> "http://www.obofoundry.org/ro/#OBO_REL:located_in" ;
               rdfs:label "located in"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:RO_0001025 ;
   owl:annotatedProperty rdfs:domain ;
   owl:annotatedTarget obo:BFO_0000004 ;
   obo:IAO_0000116 "This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation."
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:RO_0001025 ;
   owl:annotatedProperty rdfs:range ;
   owl:annotatedTarget obo:BFO_0000004 ;
   obo:IAO_0000116 "This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation."
 ] .


###  http://purl.obolibrary.org/obo/RO_0002350
obo:RO_0002350 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:BFO_0000050 ;
               owl:inverseOf obo:RO_0002351 ;
               obo:IAO_0000112 "An organism that is a member of a population of organisms" ;
               obo:IAO_0000115 "is member of is a mereological relation between a item and a collection." ;
               obo:IAO_0000118 "is member of" ,
                               "member part of" ;
               obo:IAO_0000119 "SIO" ;
               obo:RO_0001900 obo:RO_0001901 ;
               rdfs:label "member of"@en .


###  http://purl.obolibrary.org/obo/RO_0002351
obo:RO_0002351 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:BFO_0000051 ;
               rdf:type owl:IrreflexiveProperty ;
               obo:IAO_0000115 "has member is a mereological relation between a collection and an item." ;
               obo:IAO_0000119 "SIO" ;
               obo:RO_0001900 obo:RO_0001901 ;
               rdfs:label "has member"@en .


###  https://github.com/tibonto/aeon#collocated_event_of
aeon:collocated_event_of rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf aeon:part_of ;
                         rdfs:domain aeon:AEON_0000001 ;
                         rdfs:range aeon:AEON_0000001 ;
                         aeon:SMW_datatype "Page" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_DOI
aeon:has_DOI rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf aeon:has_external_identifier ;
             rdfs:range aeon:AEON_0000016 ;
             aeon:SMW_datatype "External identifier" ;
             aeon:SMW_import_info """External formatter uri [[External formatter uri::https://doi.org/$1]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_GND
aeon:has_GND rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf aeon:has_external_identifier ;
             rdfs:range aeon:AEON_0000017 ;
             aeon:SMW_datatype "External identifier" ;
             aeon:SMW_import_info """External formatter uri [[External formatter uri::http://d-nb.info/gnd/$1]]

[[partOfSubobject::Template:Subobject External_Process_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" ;
             aeon:WikidataLabel "GND_ID" ;
             aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P227" .


###  https://github.com/tibonto/aeon#has_ISNI
aeon:has_ISNI rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf aeon:has_external_identifier ;
              rdfs:range aeon:AEON_0000018 ;
              aeon:SMW_datatype "External identifier" ;
              aeon:SMW_import_info """External formatter uri [[External formatter uri::https://isni.org/isni/$1]]

[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_ORCID
aeon:has_ORCID rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf aeon:has_external_identifier ;
               rdfs:range aeon:AEON_0000019 ;
               aeon:SMW_datatype "External identifier" ;
               aeon:SMW_import_info """External formatter uri [[External formatter uri::https://orcid.org/$1]]

[[partOfSubobject::Template:Subobject Person_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_ROR
aeon:has_ROR rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf aeon:has_external_identifier ;
             rdfs:range aeon:AEON_0000020 ;
             aeon:SMW_datatype "External identifier" ;
             aeon:SMW_import_info """External formatter uri [[External formatter uri::https://ror.org/$1]]

[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_WDQID
aeon:has_WDQID rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf aeon:has_external_identifier ;
               rdfs:range aeon:AEON_0000021 ;
               aeon:SMW_datatype "External identifier" ;
               aeon:SMW_import_info """External formatter uri [[External formatter uri::https://www.wikidata.org/wiki/$1]]

[[partOfSubobject::Template:Subobject Process_External_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" ;
               aeon:WikidataLabel "itemID" .


###  https://github.com/tibonto/aeon#has_attendee
aeon:has_attendee rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf aeon:has_contributor ;
                  rdfs:domain aeon:AEON_0000001 ;
                  rdfs:range obo:NCBITaxon_9606 ;
                  aeon:SMW_datatype "Page" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
                  aeon:WikidataLabel "participantLabel" ;
                  aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P710" .


###  https://github.com/tibonto/aeon#has_committee_chair
aeon:has_committee_chair rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf aeon:has_committee_member ;
                         rdfs:domain aeon:AEON_0000001 ;
                         rdfs:range obo:NCBITaxon_9606 ;
                         aeon:SMW_datatype "Page" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_committee_member
aeon:has_committee_member rdf:type owl:ObjectProperty ;
                          rdfs:subPropertyOf aeon:has_organizer ;
                          rdfs:domain aeon:AEON_0000001 ;
                          rdfs:range obo:NCBITaxon_9606 ;
                          aeon:SMW_datatype "Page" ;
                          aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_contact_person
aeon:has_contact_person rdf:type owl:ObjectProperty ;
                        rdfs:subPropertyOf aeon:has_organizer ;
                        rdfs:domain obo:BFO_0000015 ;
                        rdfs:range obo:NCBITaxon_9606 ;
                        aeon:SMW_datatype "Page" ;
                        aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_contributor
aeon:has_contributor rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf owl:topObjectProperty ;
                     rdfs:domain aeon:AEON_0000001 ;
                     rdfs:range obo:NCBITaxon_9606 ;
                     aeon:SMW_datatype "Page" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_event
aeon:has_event rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf aeon:has_part ;
               owl:inverseOf aeon:part_of_series ;
               rdfs:domain aeon:AEON_0000002 ;
               rdfs:range aeon:AEON_0000001 ;
               aeon:SMW_datatype "Page" ;
               aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_event_type
aeon:has_event_type rdf:type owl:ObjectProperty ;
                    rdfs:domain aeon:AEON_0000001 ;
                    rdfs:range aeon:AEON_0000004 ;
                    aeon:SMW_datatype "Text" ;
                    aeon:SMW_import_info """The allowed value list for this property is defined in [[MediaWiki:Smw_allows_list_has_event_type]].
[[Category:AEON]] [[Category:Imported vocabulary]]""" ;
                    aeon:WikidataLabel "event_type" .


###  https://github.com/tibonto/aeon#has_external_identifier
aeon:has_external_identifier rdf:type owl:ObjectProperty ;
                             rdfs:subPropertyOf aeon:has_identifier ;
                             rdfs:range aeon:ExternalIdentifier ;
                             rdfs:comment "This is an abstract property that most likely will never be used, as it just serves as a parent for known external IDs."@en ;
                             aeon:SMW_datatype "Text" ;
                             aeon:SMW_import_info """[[partOfSubobject::Template:Subobject External_Process_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" ;
                             aeon:WikidataLabel "Freebase_ID" ,
                                                "WikiCFP_conference_series_ID" ;
                             aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P5127" ,
                                              "https://www.wikidata.org/wiki/Property:P646" .


###  https://github.com/tibonto/aeon#has_fee
aeon:has_fee rdf:type owl:ObjectProperty ;
             rdfs:domain aeon:AEON_0000001 ;
             rdfs:range aeon:Fee ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty aeon:fee ;
                          owl:someValuesFrom rdfs:Literal
                        ] ;
             aeon:SMW_datatype "Text" ;
             aeon:SMW_import_info """The allowed value list for this property is defined in [[MediaWiki:Smw_allows_list_Has_fee]].

[[partOfSubobject::Template:Subobject Fee]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_finance_committee_chair
aeon:has_finance_committee_chair rdf:type owl:ObjectProperty ;
                                 rdfs:subPropertyOf aeon:has_committee_chair ;
                                 rdfs:domain aeon:AEON_0000001 ;
                                 rdfs:range obo:NCBITaxon_9606 ;
                                 aeon:SMW_datatype "Page" ;
                                 aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_finance_committee_member
aeon:has_finance_committee_member rdf:type owl:ObjectProperty ;
                                  rdfs:subPropertyOf aeon:has_committee_member ;
                                  rdfs:domain aeon:AEON_0000001 ;
                                  rdfs:range obo:NCBITaxon_9606 ;
                                  aeon:SMW_datatype "Page" ;
                                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_general_committee_chair
aeon:has_general_committee_chair rdf:type owl:ObjectProperty ;
                                 rdfs:subPropertyOf aeon:has_committee_chair ;
                                 rdfs:domain aeon:AEON_0000001 ;
                                 rdfs:range obo:NCBITaxon_9606 ;
                                 aeon:SMW_datatype "Page" ;
                                 aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_general_committee_member
aeon:has_general_committee_member rdf:type owl:ObjectProperty ;
                                  rdfs:subPropertyOf aeon:has_committee_member ;
                                  rdfs:domain aeon:AEON_0000001 ;
                                  rdfs:range obo:NCBITaxon_9606 ;
                                  aeon:SMW_datatype "Page" ;
                                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_identifier
aeon:has_identifier rdf:type owl:ObjectProperty ;
                    rdfs:range aeon:Identifier ;
                    aeon:SMW_datatype "Text" ;
                    aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_internal_identifier
aeon:has_internal_identifier rdf:type owl:ObjectProperty ;
                             rdfs:subPropertyOf aeon:has_identifier ;
                             rdfs:domain obo:BFO_0000015 ;
                             rdfs:range aeon:AEON_0000003 ;
                             obo:IAO_0000115 "The literal value of the internal identifier used by a system implementing this ontology."@en ;
                             rdfs:comment """The \"rdfs:label has_ConfIDent_ID\" is used here, as the ontology is being developed by the ConfIDent project (https://projects.tib.eu/en/confident/) to be used in its service. Thus the internal identifier is called ConfIDent_ID. 

You will probably want to change that in your implementation."""@en ;
                             rdfs:label "ConfIDent_ID"^^xsd:string ;
                             aeon:SMW_datatype "Text" ;
                             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_keynote_speaker
aeon:has_keynote_speaker rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf aeon:has_speaker ;
                         rdfs:domain aeon:AEON_0000001 ;
                         rdfs:range obo:NCBITaxon_9606 ;
                         aeon:SMW_datatype "Page" ;
                         aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Contributor]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_local_committee_chair
aeon:has_local_committee_chair rdf:type owl:ObjectProperty ;
                               rdfs:subPropertyOf aeon:has_committee_chair ;
                               rdfs:domain aeon:AEON_0000001 ;
                               rdfs:range obo:NCBITaxon_9606 ;
                               aeon:SMW_datatype "Page" ;
                               aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_local_committee_member
aeon:has_local_committee_member rdf:type owl:ObjectProperty ;
                                rdfs:subPropertyOf aeon:has_committee_member ;
                                rdfs:domain aeon:AEON_0000001 ;
                                rdfs:range obo:NCBITaxon_9606 ;
                                aeon:SMW_datatype "Page" ;
                                aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_moderator
aeon:has_moderator rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf aeon:has_contributor ;
                   rdfs:domain aeon:AEON_0000001 ;
                   rdfs:range obo:NCBITaxon_9606 ;
                   aeon:SMW_datatype "Page" ;
                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_organizer
aeon:has_organizer rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf aeon:has_contributor ;
                   rdfs:domain obo:BFO_0000015 ;
                   rdfs:range [ rdf:type owl:Class ;
                                owl:unionOf ( obo:NCBITaxon_9606
                                              obo:OBI_0000245
                                            )
                              ] ;
                   aeon:SMW_datatype "Page" ;
                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
                   aeon:WikidataLabel "organizerLabel" ;
                   aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P664" .


###  https://github.com/tibonto/aeon#has_output
aeon:has_output rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf owl:topObjectProperty ;
                rdfs:domain aeon:AEON_0000001 ;
                obo:IAO_0000115 "To say that an academic event A has an output means that there exists some form of publication B that is caused by A." ;
                aeon:SMW_datatype "Text" ;
                aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Output]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_part
aeon:has_part rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf owl:topObjectProperty ;
              owl:inverseOf aeon:part_of ;
              rdfs:isDefinedBy "http://purl.obolibrary.org/obo/BFO_0000051" ;
              aeon:SMW_datatype "Page" ;
              aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_program_committee_chair
aeon:has_program_committee_chair rdf:type owl:ObjectProperty ;
                                 rdfs:subPropertyOf aeon:has_committee_chair ;
                                 rdfs:domain aeon:AEON_0000001 ;
                                 rdfs:range obo:NCBITaxon_9606 ;
                                 aeon:SMW_datatype "Page" ;
                                 aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_program_committee_member
aeon:has_program_committee_member rdf:type owl:ObjectProperty ;
                                  rdfs:subPropertyOf aeon:has_committee_member ;
                                  rdfs:domain aeon:AEON_0000001 ;
                                  rdfs:range obo:NCBITaxon_9606 ;
                                  aeon:SMW_datatype "Page" ;
                                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_publication_committee_chair
aeon:has_publication_committee_chair rdf:type owl:ObjectProperty ;
                                     rdfs:subPropertyOf aeon:has_committee_chair ;
                                     rdfs:domain aeon:AEON_0000001 ;
                                     rdfs:range obo:NCBITaxon_9606 ;
                                     aeon:SMW_datatype "Page" ;
                                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_publication_committee_member
aeon:has_publication_committee_member rdf:type owl:ObjectProperty ;
                                      rdfs:subPropertyOf aeon:has_committee_member ;
                                      rdfs:domain aeon:AEON_0000001 ;
                                      rdfs:range obo:NCBITaxon_9606 ;
                                      aeon:SMW_datatype "Page" ;
                                      aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_publicity_committee_chair
aeon:has_publicity_committee_chair rdf:type owl:ObjectProperty ;
                                   rdfs:subPropertyOf aeon:has_committee_chair ;
                                   rdfs:domain aeon:AEON_0000001 ;
                                   rdfs:range obo:NCBITaxon_9606 ;
                                   aeon:SMW_datatype "Page" ;
                                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_publicity_committee_member
aeon:has_publicity_committee_member rdf:type owl:ObjectProperty ;
                                    rdfs:subPropertyOf aeon:has_committee_member ;
                                    rdfs:domain aeon:AEON_0000001 ;
                                    rdfs:range obo:NCBITaxon_9606 ;
                                    aeon:SMW_datatype "Page" ;
                                    aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_reviewer
aeon:has_reviewer rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf aeon:has_contributor ;
                  rdfs:domain aeon:AEON_0000001 ;
                  rdfs:range obo:NCBITaxon_9606 ;
                  aeon:SMW_datatype "Page" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Contributor]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_speaker
aeon:has_speaker rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf aeon:has_contributor ;
                 rdfs:domain aeon:AEON_0000001 ;
                 rdfs:range obo:NCBITaxon_9606 ;
                 aeon:SMW_datatype "Page" ;
                 aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Contributor]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" ;
                 aeon:WikidataLabel "speaker" ;
                 aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P823" .


###  https://github.com/tibonto/aeon#has_sponsor
aeon:has_sponsor rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf aeon:has_contributor ;
                 rdfs:domain obo:BFO_0000015 ;
                 rdfs:range [ rdf:type owl:Class ;
                              owl:unionOf ( obo:NCBITaxon_9606
                                            obo:OBI_0000245
                                          )
                            ] ;
                 rdfs:comment "PS 2-9-2020: For me there is still the open question on how to best model the different sponsor types (e.g. gold, silver, bronze...). As the possible sponsor types can have various schemes, it seems best to have named individuals of the aeon:Sponsor class at the moment, which will make up the range of the data property aeon_sponsor_type."@en ;
                 aeon:SMW_datatype "Page" ;
                 aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Sponsor]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#has_sponsorship_committee_chair
aeon:has_sponsorship_committee_chair rdf:type owl:ObjectProperty ;
                                     rdfs:subPropertyOf aeon:has_committee_chair ;
                                     rdfs:domain aeon:AEON_0000001 ;
                                     rdfs:range obo:NCBITaxon_9606 ;
                                     aeon:SMW_datatype "Page" ;
                                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_sponsorship_committee_member
aeon:has_sponsorship_committee_member rdf:type owl:ObjectProperty ;
                                      rdfs:subPropertyOf aeon:has_committee_member ;
                                      rdfs:domain aeon:AEON_0000001 ;
                                      rdfs:range obo:NCBITaxon_9606 ;
                                      aeon:SMW_datatype "Page" ;
                                      aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_steering_committee_chair
aeon:has_steering_committee_chair rdf:type owl:ObjectProperty ;
                                  rdfs:subPropertyOf aeon:has_committee_chair ;
                                  rdfs:domain aeon:AEON_0000001 ;
                                  rdfs:range obo:NCBITaxon_9606 ;
                                  aeon:SMW_datatype "Page" ;
                                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_steering_committee_member
aeon:has_steering_committee_member rdf:type owl:ObjectProperty ;
                                   rdfs:subPropertyOf aeon:has_committee_member ;
                                   rdfs:domain aeon:AEON_0000001 ;
                                   rdfs:range obo:NCBITaxon_9606 ;
                                   aeon:SMW_datatype "Page" ;
                                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_technical_committee_chair
aeon:has_technical_committee_chair rdf:type owl:ObjectProperty ;
                                   rdfs:subPropertyOf aeon:has_committee_chair ;
                                   rdfs:domain aeon:AEON_0000001 ;
                                   rdfs:range obo:NCBITaxon_9606 ;
                                   aeon:SMW_datatype "Page" ;
                                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#has_technical_committee_member
aeon:has_technical_committee_member rdf:type owl:ObjectProperty ;
                                    rdfs:subPropertyOf aeon:has_committee_member ;
                                    rdfs:domain aeon:AEON_0000001 ;
                                    rdfs:range obo:NCBITaxon_9606 ;
                                    aeon:SMW_datatype "Page" ;
                                    aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#is_about
aeon:is_about rdf:type owl:ObjectProperty ;
              rdfs:domain obo:BFO_0000015 ;
              rdfs:range aeon:Subject ;
              rdfs:isDefinedBy "http://purl.obolibrary.org/obo/IAO_0000136" ;
              aeon:SMW_datatype "Text" ;
              aeon:SMW_import_info "Controlled vocabulary in [[MediaWiki:Smw_allows_list_Subject]] [[Category:AEON]] [[Category:Imported vocabulary]]" ;
              aeon:WikidataLabel "main_subjectLabel" ;
              aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P921" .


###  https://github.com/tibonto/aeon#joint_event_of
aeon:joint_event_of rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf aeon:part_of ;
                    rdfs:domain aeon:AEON_0000001 ;
                    rdfs:range aeon:AEON_0000001 ;
                    aeon:SMW_datatype "Page" ;
                    aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#occurs_in
aeon:occurs_in rdf:type owl:ObjectProperty ;
               rdfs:domain aeon:AEON_0000001 ;
               rdfs:range aeon:Location ;
               rdfs:isDefinedBy "http://purl.obolibrary.org/obo/BFO_0000066" ;
               aeon:SMW_datatype "Text" ;
               aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#occurs_in_city
aeon:occurs_in_city rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf aeon:occurs_in ;
                    rdfs:domain aeon:AEON_0000001 ;
                    rdfs:range aeon:AEON_0000022 ;
                    aeon:SMW_datatype "Text" ;
                    aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#occurs_in_country
aeon:occurs_in_country rdf:type owl:ObjectProperty ;
                       rdfs:subPropertyOf aeon:occurs_in ;
                       rdfs:domain aeon:AEON_0000001 ;
                       rdfs:range aeon:AEON_0000023 ;
                       aeon:SMW_datatype "Text" ;
                       aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
                       aeon:WikidataLabel "countryLabel" ;
                       aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P17" .


###  https://github.com/tibonto/aeon#occurs_in_state
aeon:occurs_in_state rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf aeon:occurs_in ;
                     rdfs:domain aeon:AEON_0000001 ;
                     rdfs:range aeon:AEON_0000024 ;
                     aeon:SMW_datatype "Text" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#occurs_in_venue
aeon:occurs_in_venue rdf:type owl:ObjectProperty ;
                     rdfs:subPropertyOf aeon:occurs_in ;
                     rdfs:domain aeon:AEON_0000001 ;
                     rdfs:range aeon:AEON_0000025 ;
                     aeon:SMW_datatype "Text" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#occurs_in_virtual_place
aeon:occurs_in_virtual_place rdf:type owl:ObjectProperty ;
                             rdfs:subPropertyOf aeon:occurs_in ;
                             rdfs:domain aeon:AEON_0000001 ;
                             rdfs:range aeon:VirtualLocation ;
                             aeon:SMW_datatype "URL" ;
                             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#part_of
aeon:part_of rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf owl:topObjectProperty ;
             rdfs:isDefinedBy "http://purl.obolibrary.org/obo/BFO_0000050" ;
             aeon:SMW_datatype "Page" ;
             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#part_of_series
aeon:part_of_series rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf aeon:part_of ;
                    rdfs:domain aeon:AEON_0000001 ;
                    rdfs:range aeon:AEON_0000002 ;
                    aeon:SMW_datatype "Page" ;
                    aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#umbrella_event_of
aeon:umbrella_event_of rdf:type owl:ObjectProperty ;
                       rdfs:subPropertyOf aeon:part_of ;
                       rdfs:domain aeon:AEON_0000001 ;
                       rdfs:range aeon:AEON_0000001 ;
                       aeon:SMW_datatype "Page" ;
                       aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


#################################################################
#    Data properties
#################################################################

###  http://purl.obolibrary.org/obo/IAO_0000004
obo:IAO_0000004 rdf:type owl:DatatypeProperty ,
                         owl:FunctionalProperty ;
                rdfs:domain obo:IAO_0000032 ;
                rdfs:range xsd:double ;
                rdfs:label "has measurement value"@en .


###  http://www.w3.org/2002/07/owl#topDataProperty
owl:topDataProperty rdfs:range rdfs:Literal .


###  https://github.com/tibonto/aeon#CORE_ranking
aeon:CORE_ranking rdf:type owl:DatatypeProperty ;
                  rdfs:subPropertyOf aeon:metric ;
                  rdfs:domain aeon:AEON_0000001 ;
                  aeon:SMW_datatype "Text" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#ID
aeon:ID rdf:type owl:DatatypeProperty ;
        rdfs:subPropertyOf owl:topDataProperty ;
        rdfs:domain aeon:Identifier ;
        obo:IAO_0000115 "The literal value of an identifier."@en ;
        aeon:SMW_datatype "Text" ;
        aeon:SMW_import_info """[[partOfSubobject::Template:Subobject External_Process_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#ID_URL
aeon:ID_URL rdf:type owl:DatatypeProperty ;
            rdfs:subPropertyOf aeon:ID ;
            rdfs:domain aeon:Identifier ;
            rdfs:range xsd:anyURI ;
            rdfs:comment "The literal value of the full URL used by the identifier scheme, based on the concatination of base URL and ID (ID_URL:value = ID_base_URL:value + ID:value)."@en ;
            aeon:SMW_datatype "URL" ;
            aeon:SMW_import_info """[[partOfSubobject::Template:Subobject External_Process_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#ID_base_URL
aeon:ID_base_URL rdf:type owl:DatatypeProperty ;
                 rdfs:subPropertyOf aeon:ID ;
                 rdfs:domain aeon:Identifier ;
                 rdfs:range xsd:anyURI ;
                 rdfs:comment "The literal value of the base URL used by the identifier scheme."@en ;
                 aeon:SMW_datatype "URL" ;
                 aeon:SMW_import_info """[[partOfSubobject::Template:Subobject External_Process_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#abstract_deadline
aeon:abstract_deadline rdf:type owl:DatatypeProperty ;
                       rdfs:subPropertyOf aeon:deadline ;
                       rdfs:domain aeon:AEON_0000001 ;
                       rdfs:range xsd:dateTimeStamp ;
                       aeon:SMW_datatype "Date" ;
                       aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#acceptance_rate
aeon:acceptance_rate rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf aeon:metric ;
                     rdfs:domain aeon:AEON_0000001 ;
                     aeon:SMW_datatype "Number" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#accepted_papers
aeon:accepted_papers rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf aeon:metric ;
                     rdfs:domain aeon:AEON_0000001 ;
                     aeon:SMW_datatype "Number" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#accepted_short_papers
aeon:accepted_short_papers rdf:type owl:DatatypeProperty ;
                           rdfs:subPropertyOf aeon:metric ;
                           rdfs:domain aeon:AEON_0000001 ;
                           aeon:SMW_datatype "Number" ;
                           aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#agent_name
aeon:agent_name rdf:type owl:DatatypeProperty ;
                rdfs:subPropertyOf aeon:name ;
                obo:IAO_0000115 "The literal value of the name to denote an agent."@en ;
                aeon:SMW_datatype "Text" ;
                aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#camera-ready_deadline
aeon:camera-ready_deadline rdf:type owl:DatatypeProperty ;
                           rdfs:subPropertyOf aeon:deadline ;
                           rdfs:domain aeon:AEON_0000001 ;
                           rdfs:range xsd:dateTimeStamp ;
                           aeon:SMW_datatype "Date" ;
                           aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#city
aeon:city rdf:type owl:DatatypeProperty ;
          rdfs:subPropertyOf aeon:location ;
          rdfs:domain aeon:AEON_0000022 ;
          aeon:SMW_datatype "Text" ;
          aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#contact
aeon:contact rdf:type owl:DatatypeProperty ;
             rdfs:subPropertyOf owl:topDataProperty ;
             rdfs:domain aeon:AEON_0000009 ;
             aeon:SMW_datatype "Text" ;
             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#contact_email
aeon:contact_email rdf:type owl:DatatypeProperty ;
                   rdfs:subPropertyOf aeon:contact ;
                   rdfs:domain aeon:AEON_0000009 ;
                   aeon:SMW_datatype "Email" ;
                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#contact_person_name
aeon:contact_person_name rdf:type owl:DatatypeProperty ;
                         rdfs:subPropertyOf aeon:contact ;
                         rdfs:domain aeon:AEON_0000009 ;
                         aeon:SMW_datatype "Text" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#contact_phone
aeon:contact_phone rdf:type owl:DatatypeProperty ;
                   rdfs:subPropertyOf aeon:contact ;
                   rdfs:domain aeon:AEON_0000009 ;
                   aeon:SMW_datatype "Telephone number" ;
                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#coordinates
aeon:coordinates rdf:type owl:DatatypeProperty ;
                 rdfs:subPropertyOf aeon:location ;
                 rdfs:domain aeon:PhysicalLocation ;
                 aeon:SMW_datatype "Geographic coordinates" ;
                 aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#country
aeon:country rdf:type owl:DatatypeProperty ;
             rdfs:subPropertyOf aeon:location ;
             rdfs:domain aeon:AEON_0000023 ;
             aeon:SMW_datatype "Text" ;
             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#deadline
aeon:deadline rdf:type owl:DatatypeProperty ;
              rdfs:subPropertyOf owl:topDataProperty ;
              rdfs:domain aeon:AEON_0000001 ;
              rdfs:range xsd:dateTime ;
              aeon:SMW_datatype "Date" ;
              aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#demo_deadline
aeon:demo_deadline rdf:type owl:DatatypeProperty ;
                   rdfs:subPropertyOf aeon:deadline ;
                   rdfs:domain aeon:AEON_0000001 ;
                   rdfs:range xsd:dateTimeStamp ;
                   aeon:SMW_datatype "Date" ;
                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#duration
aeon:duration rdf:type owl:DatatypeProperty ;
              rdfs:subPropertyOf owl:topDataProperty ;
              rdfs:domain aeon:AEON_0000001 ;
              aeon:SMW_datatype "Quantity" ;
              aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
              aeon:WikidataLabel "duration" ;
              aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P2047" .


###  https://github.com/tibonto/aeon#end_date
aeon:end_date rdf:type owl:DatatypeProperty ;
              rdfs:subPropertyOf aeon:duration ;
              rdfs:domain aeon:AEON_0000001 ;
              rdfs:range xsd:dateTimeStamp ;
              aeon:SMW_datatype "Date" ;
              aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
              aeon:WikidataLabel "end_time" ;
              aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P582" .


###  https://github.com/tibonto/aeon#event_frequency
aeon:event_frequency rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf aeon:metric ;
                     rdfs:domain aeon:AEON_0000002 ;
                     obo:IAO_0000115 "The event frequency is the literal value of the number of month until the next event in a certain takes place." ;
                     aeon:SMW_datatype "Quantity" ;
                     aeon:SMW_import_info """[[Corresponds to::1 month]] [[Corresponds to::1 months]] [[display units::months]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" ;
                     aeon:WikidataLabel "event_interval_inmonths" ;
                     aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P2257" .


###  https://github.com/tibonto/aeon#event_number
aeon:event_number rdf:type owl:DatatypeProperty ;
                  rdfs:domain aeon:AEON_0000001 ;
                  rdfs:range xsd:string ;
                  obo:IAO_0000115 "The ordinal number of an academic event, if it is a part of an event series." ;
                  aeon:SMW_datatype "Text" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#event_status
aeon:event_status rdf:type owl:DatatypeProperty ;
                  rdfs:subPropertyOf owl:topDataProperty ;
                  rdfs:domain aeon:AEON_0000001 ;
                  rdfs:range [ rdf:type rdfs:Datatype ;
                               owl:oneOf [ rdf:type rdf:List ;
                                           rdf:first "as scheduled" ;
                                           rdf:rest [ rdf:type rdf:List ;
                                                      rdf:first "canceled" ;
                                                      rdf:rest [ rdf:type rdf:List ;
                                                                 rdf:first "delayed" ;
                                                                 rdf:rest [ rdf:type rdf:List ;
                                                                            rdf:first "planned" ;
                                                                            rdf:rest [ rdf:type rdf:List ;
                                                                                       rdf:first "postponed" ;
                                                                                       rdf:rest rdf:nil
                                                                                     ]
                                                                          ]
                                                               ]
                                                    ]
                                         ]
                             ] ;
                  rdfs:comment """maps_to: DataCite:dateType 
---
allowed value mapping 
ConfIDent → DataCite

scheduled → valid
postponed → updated
cancled → withdrawn"""@en ;
                  aeon:SMW_datatype "Text" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#event_type_other
aeon:event_type_other rdf:type owl:DatatypeProperty ;
                      rdfs:subPropertyOf owl:topDataProperty ;
                      rdfs:domain aeon:AEON_0000004 ;
                      aeon:SMW_datatype "Text" ;
                      aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#event_year
aeon:event_year rdf:type owl:DatatypeProperty ;
                rdfs:domain aeon:AEON_0000001 ;
                rdfs:range xsd:integer ;
                obo:IAO_0000115 "The year in which an event takes place."@en ;
                aeon:SMW_datatype "Number" ;
                aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#fee
aeon:fee rdf:type owl:DatatypeProperty ;
         rdfs:subPropertyOf owl:topDataProperty ;
         rdfs:domain aeon:Fee ;
         obo:IAO_0000115 "The literal value of the type of fee an aeon:event can have."@en ;
         obo:IAO_0000600 "There are various type of fees for an event, such as the regular fee, a reduced fee, a member fee and so forth." ;
         aeon:SMW_datatype "Text" ;
         aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Fee]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#fee_currency
aeon:fee_currency rdf:type owl:DatatypeProperty ;
                  rdfs:subPropertyOf aeon:fee ;
                  rdfs:domain aeon:Fee ;
                  rdfs:comment "This property should have a value from the controlled list defined by the ISO_4217 standard (https://en.wikipedia.org/wiki/ISO_4217)." ;
                  aeon:SMW_datatype "Text" ;
                  aeon:SMW_import_info """Controlled vocabulary in [[MediaWiki:Smw_allows_list_Fee_currency]]

[[partOfSubobject::Template:Subobject Fee]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#fee_value
aeon:fee_value rdf:type owl:DatatypeProperty ;
               rdfs:subPropertyOf aeon:fee ;
               rdfs:domain aeon:Fee ;
               aeon:SMW_datatype "Number" ;
               aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Fee]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#first_name
aeon:first_name rdf:type owl:DatatypeProperty ;
                rdfs:subPropertyOf aeon:personal_name ;
                obo:IAO_0000115 "The literal value of the first name of a person."@en ;
                aeon:SMW_datatype "Text" ;
                aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#landing_page
aeon:landing_page rdf:type owl:DatatypeProperty ;
                  rdfs:subPropertyOf aeon:ID ;
                  rdfs:domain aeon:Identifier ;
                  rdfs:range xsd:anyURI ;
                  rdfs:comment "The literal value of the landing page (URL) an ID resolves to when following the ID_URL."@en ;
                  aeon:SMW_datatype "URL" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject External_Process_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#language
aeon:language rdf:type owl:DatatypeProperty ;
              rdfs:subPropertyOf owl:topDataProperty ;
              aeon:SMW_datatype "Text" ;
              aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
              aeon:WikidataLabel "language_usedLabel" ;
              aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P2936" .


###  https://github.com/tibonto/aeon#last_name
aeon:last_name rdf:type owl:DatatypeProperty ;
               rdfs:subPropertyOf aeon:personal_name ;
               obo:IAO_0000115 "The literal value of the last name, or family name, of a person."@en ;
               aeon:SMW_datatype "Text" ;
               aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#location
aeon:location rdf:type owl:DatatypeProperty ;
              rdfs:subPropertyOf owl:topDataProperty ;
              rdfs:domain aeon:Location ;
              aeon:SMW_datatype "Text" ;
              aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#logo
aeon:logo rdf:type owl:DatatypeProperty ;
          rdfs:subPropertyOf owl:topDataProperty ;
          aeon:SMW_datatype "Page" ;
          aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#meeting_URL
aeon:meeting_URL rdf:type owl:DatatypeProperty ;
                 rdfs:subPropertyOf aeon:location ;
                 rdfs:domain aeon:VirtualLocation ;
                 rdfs:range xsd:anyURI ;
                 aeon:SMW_datatype "URL" ;
                 aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#metric
aeon:metric rdf:type owl:DatatypeProperty ;
            rdfs:subPropertyOf owl:topDataProperty ;
            rdfs:domain obo:BFO_0000015 ;
            aeon:SMW_datatype "Text" ;
            aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Metric]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#metric_value
aeon:metric_value rdf:type owl:DatatypeProperty ;
                  rdfs:subPropertyOf aeon:metric ;
                  rdfs:domain obo:BFO_0000015 ;
                  aeon:SMW_datatype "Text" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Metric]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#name
aeon:name rdf:type owl:DatatypeProperty ;
          rdfs:subPropertyOf owl:topDataProperty ;
          obo:IAO_0000115 "The literal value of the name of a thing."@en ;
          aeon:SMW_datatype "Text" ;
          aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#notification_deadline
aeon:notification_deadline rdf:type owl:DatatypeProperty ;
                           rdfs:subPropertyOf aeon:deadline ;
                           rdfs:domain aeon:AEON_0000001 ;
                           rdfs:range xsd:dateTimeStamp ;
                           aeon:SMW_datatype "Date" ;
                           aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#number_of_attendees
aeon:number_of_attendees rdf:type owl:DatatypeProperty ;
                         rdfs:subPropertyOf aeon:metric ;
                         rdfs:domain aeon:AEON_0000001 ;
                         aeon:SMW_datatype "Number" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#number_of_tracks
aeon:number_of_tracks rdf:type owl:DatatypeProperty ;
                      rdfs:subPropertyOf aeon:metric ;
                      rdfs:domain aeon:AEON_0000001 ;
                      aeon:SMW_datatype "Number" ;
                      aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#organizational_name
aeon:organizational_name rdf:type owl:DatatypeProperty ;
                         rdfs:subPropertyOf aeon:agent_name ;
                         obo:IAO_0000115 "The literal value of the name to denote an organization."@en ;
                         aeon:SMW_datatype "Text" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#paper_deadline
aeon:paper_deadline rdf:type owl:DatatypeProperty ;
                    rdfs:subPropertyOf aeon:deadline ;
                    rdfs:domain aeon:AEON_0000001 ;
                    rdfs:range xsd:dateTimeStamp ;
                    aeon:SMW_datatype "Date" ;
                    aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#personal_name
aeon:personal_name rdf:type owl:DatatypeProperty ;
                   rdfs:subPropertyOf aeon:agent_name ;
                   obo:IAO_0000115 "The literal value of the name to denote a person."@en ;
                   aeon:SMW_datatype "Text" ;
                   aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#poster_deadline
aeon:poster_deadline rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf aeon:deadline ;
                     rdfs:domain aeon:AEON_0000001 ;
                     rdfs:range xsd:dateTimeStamp ;
                     aeon:SMW_datatype "Date" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#previous_end_date
aeon:previous_end_date rdf:type owl:DatatypeProperty ;
                       rdfs:subPropertyOf aeon:end_date ;
                       rdfs:domain aeon:AEON_0000001 ;
                       rdfs:range xsd:dateTime ;
                       aeon:SMW_datatype "Date" ;
                       aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#previous_start_date
aeon:previous_start_date rdf:type owl:DatatypeProperty ;
                         rdfs:subPropertyOf aeon:start_date ;
                         rdfs:domain aeon:AEON_0000001 ;
                         rdfs:range xsd:dateTimeStamp ;
                         aeon:SMW_datatype "Date" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#proceedings_site_count
aeon:proceedings_site_count rdf:type owl:DatatypeProperty ;
                            rdfs:subPropertyOf aeon:metric ;
                            rdfs:domain aeon:AEON_0000001 ;
                            aeon:SMW_datatype "Number" ;
                            aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#process_acronym
aeon:process_acronym rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf aeon:process_name ;
                     rdfs:domain obo:BFO_0000015 ;
                     obo:IAO_0000112 "\"DILS 2019\" is the official acronym of the academic event \"13th International Conference on Data Integration in Life Science\""@en ;
                     obo:IAO_0000115 "The literal value of the official acronym of an aeon:process, that is either an academic event or event series."@en ;
                     aeon:SMW_datatype "Text" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
                     aeon:WikidataLabel "short_nameLabel" ;
                     aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P1813" .


###  https://github.com/tibonto/aeon#process_alternative_name
aeon:process_alternative_name rdf:type owl:DatatypeProperty ;
                              rdfs:subPropertyOf aeon:process_name ;
                              rdfs:domain obo:BFO_0000015 ;
                              rdfs:comment "The Literal value of an alternative name of an aeon:process, that is either an academic event or event series."@en ;
                              aeon:SMW_datatype "Text" ;
                              aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#process_former_name
aeon:process_former_name rdf:type owl:DatatypeProperty ;
                         rdfs:subPropertyOf aeon:process_name ;
                         rdfs:domain obo:BFO_0000015 ;
                         rdfs:comment "The Literal value of the former official name of an aeon:process, that is either an academic event or event series."@en ;
                         aeon:SMW_datatype "Text" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#process_name
aeon:process_name rdf:type owl:DatatypeProperty ;
                  rdfs:subPropertyOf aeon:name ;
                  rdfs:domain obo:BFO_0000015 ;
                  obo:IAO_0000115 "The literal value of the official name (title) of an aeon:process, that is either an academic event or event series."@en ;
                  aeon:SMW_datatype "Text" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
                  aeon:WikidataLabel "itemLabel" .


###  https://github.com/tibonto/aeon#process_translated_name
aeon:process_translated_name rdf:type owl:DatatypeProperty ;
                             rdfs:subPropertyOf aeon:process_name ;
                             rdfs:domain obo:BFO_0000015 ;
                             obo:IAO_0000115 "The literal value of the translation of the official name (title) of an aeon:process, that is either an academic event or event series."@en ;
                             aeon:SMW_datatype "Text" ;
                             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#process_website
aeon:process_website rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf owl:topDataProperty ;
                     rdfs:domain obo:BFO_0000015 ;
                     rdfs:range xsd:anyURI ;
                     aeon:SMW_datatype "URL" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
                     aeon:WikidataLabel "official_website" ;
                     aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P856" .


###  https://github.com/tibonto/aeon#series_cite_count
aeon:series_cite_count rdf:type owl:DatatypeProperty ;
                       rdfs:subPropertyOf aeon:metric ;
                       rdfs:domain aeon:AEON_0000002 ;
                       aeon:SMW_datatype "Number" ;
                       aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#sponsor_type
aeon:sponsor_type rdf:type owl:DatatypeProperty ;
                  rdfs:subPropertyOf owl:topDataProperty ;
                  rdfs:domain aeon:AEON_0000015 ;
                  aeon:SMW_datatype "Text" ;
                  aeon:SMW_import_info """Controlled vocabulary in [[MediaWiki:Smw _allows_list_Sponsor_type]] 

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#start_date
aeon:start_date rdf:type owl:DatatypeProperty ;
                rdfs:subPropertyOf aeon:duration ;
                rdfs:domain aeon:AEON_0000001 ;
                rdfs:range xsd:dateTime ;
                aeon:SMW_datatype "Date" ;
                aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" ;
                aeon:WikidataLabel "start_time" ;
                aeon:WikidataURI "https://www.wikidata.org/wiki/Property:P580" .


###  https://github.com/tibonto/aeon#state
aeon:state rdf:type owl:DatatypeProperty ;
           rdfs:subPropertyOf aeon:location ;
           rdfs:domain aeon:AEON_0000024 ;
           aeon:SMW_datatype "Text" ;
           aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#subject
aeon:subject rdf:type owl:DatatypeProperty ;
             rdfs:subPropertyOf owl:topDataProperty ;
             rdfs:domain aeon:Subject ;
             aeon:SMW_datatype "Text" ;
             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#submission_deadline
aeon:submission_deadline rdf:type owl:DatatypeProperty ;
                         rdfs:subPropertyOf aeon:deadline ;
                         rdfs:domain aeon:AEON_0000001 ;
                         rdfs:range xsd:dateTimeStamp ;
                         aeon:SMW_datatype "Date" ;
                         aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#submitted_papers
aeon:submitted_papers rdf:type owl:DatatypeProperty ;
                      rdfs:subPropertyOf aeon:metric ;
                      rdfs:domain aeon:AEON_0000001 ;
                      aeon:SMW_datatype "Number" ;
                      aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#summary
aeon:summary rdf:type owl:DatatypeProperty ;
             rdfs:subPropertyOf owl:topDataProperty ;
             aeon:SMW_datatype "Text" ;
             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#summary_licence
aeon:summary_licence rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf aeon:summary ;
                     aeon:SMW_datatype "Text" ;
                     aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#tutorial_deadline
aeon:tutorial_deadline rdf:type owl:DatatypeProperty ;
                       rdfs:subPropertyOf aeon:deadline ;
                       rdfs:domain aeon:AEON_0000001 ;
                       rdfs:range xsd:dateTimeStamp ;
                       aeon:SMW_datatype "Date" ;
                       aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#venue
aeon:venue rdf:type owl:DatatypeProperty ;
           rdfs:subPropertyOf aeon:location ;
           rdfs:domain aeon:AEON_0000025 ;
           aeon:SMW_datatype "Text" ;
           aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#venue_URL
aeon:venue_URL rdf:type owl:DatatypeProperty ;
               rdfs:subPropertyOf aeon:venue ;
               rdfs:domain aeon:AEON_0000025 ;
               rdfs:range xsd:anyURI ;
               aeon:SMW_datatype "URL" ;
               aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#workshop_deadline
aeon:workshop_deadline rdf:type owl:DatatypeProperty ;
                       rdfs:subPropertyOf aeon:deadline ;
                       rdfs:domain aeon:AEON_0000001 ;
                       rdfs:range xsd:dateTimeStamp ;
                       aeon:SMW_datatype "Date" ;
                       aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


#################################################################
#    Classes
#################################################################

###  http://purl.obolibrary.org/obo/BFO_0000001
obo:BFO_0000001 rdf:type owl:Class ;
                rdfs:subClassOf owl:Thing ;
                obo:BFO_0000179 "entity" ;
                obo:BFO_0000180 "Entity" ;
                obo:IAO_0000112 "Julius Caesar"@en ,
                                "Verdi’s Requiem"@en ,
                                "the Second World War"@en ,
                                "your body mass index"@en ;
                obo:IAO_0000116 "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 ,
                                "Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf"@en ;
                obo:IAO_0000600 "An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])"@en ;
                <http://purl.org/dc/elements/1.1/identifier> "001-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "entity"@en ;
                skos:definition "(Elucidation) An entity is anything that exists or has existed or will exist"@en ;
                skos:example "Julius Caesar, the Second World War, your body mass index, Verdi's Requiem. "@en ;
                skos:prefLabel "entity"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000001 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000004> ;
   rdfs:comment "per discussion with Barry Smith" ;
   rdfs:seeAlso <http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000001 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/001-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000002
obo:BFO_0000002 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000001 ;
                owl:disjointWith obo:BFO_0000003 ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty obo:BFO_0000050 ;
                                   owl:someValuesFrom obo:BFO_0000003
                                 ] ;
                obo:BFO_0000179 "continuant" ;
                obo:BFO_0000180 "Continuant" ;
                obo: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 ;
                obo: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 ,
                                "Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants"@en ;
                obo:IAO_0000600 "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])"@en ;
                obo:IAO_0000601 "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])"@en ,
                                "if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])"@en ,
                                "if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])"@en ;
                obo:IAO_0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " ,
                                "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " ,
                                "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " ,
                                "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " ;
                <http://purl.org/dc/elements/1.1/identifier> "008-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "continuant"@en ;
                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 ;
                skos:prefLabel "continuant"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000007>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/008-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/126-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/009-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/011-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/009-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/126-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/008-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000002 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/011-002>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000003
obo:BFO_0000003 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000001 ;
                owl:disjointWith [ rdf:type owl:Restriction ;
                                   owl:onProperty obo:BFO_0000050 ;
                                   owl:someValuesFrom obo:BFO_0000002
                                 ] ;
                obo:BFO_0000179 "occurrent" ;
                obo:BFO_0000180 "Occurrent" ;
                obo:IAO_0000115 "An entity that has temporal parts and that happens, unfolds or develops through time."@en ;
                obo:IAO_0000116 "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 ,
                                "Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process."@en ,
                                "Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame." ;
                obo:IAO_0000600 "An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])"@en ;
                obo:IAO_0000601 "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])"@en ,
                                "b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])"@en ;
                obo:IAO_0000602 "(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " ,
                                "(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "077-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "occurrent"@en ;
                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 ;
                skos:prefLabel "occurrent"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000003 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process."@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000006> ;
   rdfs:comment "per discussion with Barry Smith"
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000003 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame." ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000012>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000003 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/077-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000003 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/108-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000003 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/079-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000003 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/108-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000003 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/079-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000004
obo:BFO_0000004 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000002 ;
                owl:disjointWith obo:BFO_0000020 ,
                                 obo:BFO_0000031 ;
                obo:BFO_0000179 "ic" ;
                obo:BFO_0000180 "IndependentContinuant" ;
                obo: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 ;
                obo:IAO_0000115 "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything."@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 ;
                obo:IAO_0000601 "For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])"@en ,
                                "For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])"@en ;
                obo:IAO_0000602 "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " ,
                                "(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] " ,
                                "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ;
                <http://purl.org/dc/elements/1.1/identifier> "017-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "independent continuant"@en ;
                skos:definition "b is an independent continuant =Def b is a continuant which is such that there is no c such that b s-depends on c and no c such that b g-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 ;
                skos:prefLabel "independent continuant"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000004 ;
   owl:annotatedProperty obo:IAO_0000115 ;
   owl:annotatedTarget "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 ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/017-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000004 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/134-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000004 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/018-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000004 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/134-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000004 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/018-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000004 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/017-002>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000006
obo:BFO_0000006 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000141 ;
                owl:disjointWith obo:BFO_0000029 ;
                obo:BFO_0000179 "s-region" ;
                obo:BFO_0000180 "SpatialRegion" ;
                obo:IAO_0000116 "BFO 2 Reference: Spatial regions do not participate in processes."@en ,
                                "Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional."@en ;
                obo:IAO_0000600 "A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])"@en ;
                obo:IAO_0000601 "All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])"@en ;
                obo:IAO_0000602 "(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] " ,
                                "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "035-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "spatial region"@en ;
                skos:definition "(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 ;
                skos:example "As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region. "@en ;
                skos:prefLabel "spatial region"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000006 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional."@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000002> ;
   rdfs:comment "per discussion with Barry Smith"
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000006 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/035-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000006 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/036-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000006 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/036-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000006 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/035-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000008
obo:BFO_0000008 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000003 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000132 ;
                                  owl:allValuesFrom obo:BFO_0000008
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000139 ;
                                  owl:allValuesFrom obo:BFO_0000008
                                ] ;
                owl:disjointWith obo:BFO_0000011 ,
                                 obo:BFO_0000015 ,
                                 obo:BFO_0000035 ;
                obo:BFO_0000179 "t-region" ;
                obo:BFO_0000180 "TemporalRegion" ;
                obo:IAO_0000116 "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional"@en ;
                obo:IAO_0000600 "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])"@en ;
                obo:IAO_0000601 "All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])"@en ,
                                "Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])"@en ;
                obo:IAO_0000602 "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " ,
                                "(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] " ,
                                "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "100-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "temporal region"@en ;
                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 ;
                skos:prefLabel "temporal region"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000008 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000003> ;
   rdfs:comment "per discussion with Barry Smith"
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000008 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/100-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000008 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/101-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000008 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/119-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000008 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/119-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000008 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/101-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000008 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/100-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000011
obo:BFO_0000011 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000003 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000132 ;
                                  owl:allValuesFrom obo:BFO_0000011
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000139 ;
                                  owl:allValuesFrom obo:BFO_0000011
                                ] ;
                obo:BFO_0000179 "st-region" ;
                obo:BFO_0000180 "SpatiotemporalRegion" ;
                obo:IAO_0000112 "the spatiotemporal region occupied by a human life"@en ,
                                "the spatiotemporal region occupied by a process of cellular meiosis."@en ,
                                "the spatiotemporal region occupied by the development of a cancer tumor"@en ;
                obo:IAO_0000600 "A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])"@en ;
                obo:IAO_0000601 "All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])"@en ,
                                "Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])"@en ,
                                "Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])"@en ,
                                "Every spatiotemporal region occupies_spatiotemporal_region itself."@en ,
                                "Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])"@en ;
                obo:IAO_0000602 "(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] " ,
                                "(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] " ,
                                "(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] " ,
                                "(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] " ,
                                "(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "095-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "spatiotemporal region"@en ;
                skos:definition "(Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime"@en ;
                skos:example "The spatiotemporal region occupied by the development of a cancer tumour, the spatiotemporal region occupied by an orbiting satellite. "@en ;
                skos:prefLabel "spatiotemporal region"@en ;
                skos:scopeNote "'Spacetime' here refers to the maximal instance of the universal spatiotemporal region. "@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/095-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/096-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/099-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/098-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/107-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/107-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/099-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/096-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/095-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000011 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/098-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000015
obo:BFO_0000015 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000003 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000117 ;
                                  owl:allValuesFrom [ rdf:type owl:Class ;
                                                      owl:unionOf ( obo:BFO_0000015
                                                                    obo:BFO_0000035
                                                                  )
                                                    ]
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000132 ;
                                  owl:allValuesFrom obo:BFO_0000015
                                ] ;
                obo:BFO_0000179 "process" ;
                obo:BFO_0000180 "Process" ;
                obo:IAO_0000112 "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 ;
                obo:IAO_0000115 "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t."@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 ;
                obo:IAO_0000116 "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 ;
                obo:IAO_0000602 "(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] " ;
                <http://purl.org/dc/elements/1.1/identifier> "083-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ,
                                 "http://purl.obolibrary.org/obo/bfo.owl"^^xsd:anyURI ;
                rdfs:label "Process"@en ,
                           "process"@en ;
                skos:definition "(Elucidation) p is a process =Def p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant"@en ;
                skos:example "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 ;
                skos:prefLabel "process"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:BFO]] [[Category:Imported vocabulary]]" .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000015 ;
   owl:annotatedProperty obo:IAO_0000115 ;
   owl:annotatedTarget "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 ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/083-003>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000015 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/083-003>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000017
obo:BFO_0000017 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000020 ;
                owl:disjointWith obo:BFO_0000019 ;
                obo:BFO_0000179 "realizable" ;
                obo:BFO_0000180 "RealizableEntity" ;
                obo: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 ;
                obo: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 ;
                obo:IAO_0000600 "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])"@en ;
                obo:IAO_0000601 "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"@en ;
                obo:IAO_0000602 "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] " ,
                                "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] " ;
                <http://purl.org/dc/elements/1.1/identifier> "058-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "realizable entity"@en ;
                skos:definition "(Elucidation) b is a realizable entity means: b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and 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 ;
                skos:prefLabel "realizable entity"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000017 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/058-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000017 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/060-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000017 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/060-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000017 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/058-002>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000019
obo:BFO_0000019 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000020 ;
                obo:BFO_0000179 "quality" ;
                obo:BFO_0000180 "Quality" ;
                obo: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 ;
                obo:IAO_0000600 "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. (axiom label in BFO2 Reference: [055-001])"@en ;
                obo:IAO_0000601 "If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])"@en ;
                obo:IAO_0000602 "(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] " ,
                                "(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "055-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "quality"@en ;
                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 ;
                skos:prefLabel "quality"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000019 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "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. (axiom label in BFO2 Reference: [055-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/055-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000019 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/105-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000019 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/055-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000019 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/105-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000020
obo:BFO_0000020 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000002 ;
                owl:disjointWith obo:BFO_0000031 ;
                obo:BFO_0000179 "sdc" ;
                obo:BFO_0000180 "SpecificallyDependentContinuant" ;
                obo: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 ;
                obo:IAO_0000115 "A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same."@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 ;
                obo:IAO_0000116 "Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc."@en ;
                obo:IAO_0000602 "(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] " ;
                <http://purl.org/dc/elements/1.1/identifier> "050-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "specifically dependent continuant"@en ;
                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 s-depends on c"@en ;
                skos:example "(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; (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 ;
                skos:prefLabel "specifically dependent continuant"@en ;
                skos:scopeNote "On the multiple bearers case, see relational quality. "@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000020 ;
   owl:annotatedProperty obo:IAO_0000115 ;
   owl:annotatedTarget "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 ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/050-003>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000020 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc."@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000005> ;
   rdfs:comment "per discussion with Barry Smith"
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000020 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/050-003>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000023
obo:BFO_0000023 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000017 ;
                obo:BFO_0000179 "role" ;
                obo:BFO_0000180 "Role" ;
                obo: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 ;
                obo: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 ;
                obo: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 ;
                obo:IAO_0000600 "b is a role means: b is a realizable entity & 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. (axiom label in BFO2 Reference: [061-001])"@en ;
                obo:IAO_0000602 "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "061-BFO" ;
                rdfs:comment "example of usage:the role of subject in a clinical trial; the role of a boundary to demarcate two neighboring administrative territories; the role of a building in serving as a military target; the priest role; 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.; the role of a stone in marking a property boundary; the student role"@en ;
                rdfs:isDefinedBy obo:bfo.owl ,
                                 "http://purl.obolibrary.org/obo/bfo.owl"@en ;
                rdfs:label "Role"@en ,
                           "role"@en ;
                skos:altLabel "externally-grounded realizable entity"@en ;
                skos:definition "(Elucidation) b is a role means: b is a realizable entity & 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 ;
                skos:prefLabel "role"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:BFO]] [[Category:Imported vocabulary]]" .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000023 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "b is a role means: b is a realizable entity & 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. (axiom label in BFO2 Reference: [061-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/061-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000023 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/061-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000027
obo:BFO_0000027 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000040 ;
                obo:BFO_0000179 "object-aggregate" ;
                obo:BFO_0000180 "ObjectAggregate" ;
                obo:IAO_0000112 "a collection of cells in a blood biobank."@en ,
                                "a swarm of bees is an aggregate of members who are linked together through natural bonds"@en ,
                                "a symphony orchestra"@en ,
                                "an organization is an aggregate whose member parts have roles of specific types (for example in a jazz band, a chess club, a football team)"@en ,
                                "defined by fiat: the aggregate of members of an organization"@en ,
                                "defined through physical attachment: the aggregate of atoms in a lump of granite"@en ,
                                "defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container"@en ,
                                "defined via attributive delimitations such as: the patients in this hospital"@en ,
                                "the aggregate of bearings in a constant velocity axle joint"@en ,
                                "the aggregate of blood cells in your body"@en ,
                                "the nitrogen atoms in the atmosphere"@en ,
                                "the restaurants in Palo Alto"@en ,
                                "your collection of Meissen ceramic plates."@en ;
                obo:IAO_0000116 "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " ,
                                "BFO 2 Reference: object aggregates may gain and lose parts while remaining numerically identical (one and the same individual) over time. This holds both for aggregates whose membership is determined naturally (the aggregate of cells in your body) and aggregates determined by fiat (a baseball team, a congressional committee)."@en ;
                obo:IAO_0000119 "ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158." ;
                obo:IAO_0000600 "b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])"@en ;
                obo:IAO_0000602 "(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004] " ;
                <http://purl.org/dc/elements/1.1/identifier> "025-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "object aggregate"@en ;
                skos:definition "(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 ;
                skos:example "A symphony orchestra, the aggregate of bearings in a constant velocity axle joint, the nitrogen atoms in the atmosphere, a collection of cells in a blood biobank.  NOTE 1: 'Exactly' means that there are no parts of the object aggregate other than its member parts.  NOTE 2: The unit can, at certain times, consist of exactly one object, for example, when a fire brigade loses all but one of its members, but it must at some time have a plurality of member parts. "@en ;
                skos:prefLabel "object aggregate"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:BFO]] [[Category:Imported vocabulary]]" .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000027 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000011>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000027 ;
   owl:annotatedProperty obo:IAO_0000116 ;
   owl:annotatedTarget "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000301>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000027 ;
   owl:annotatedProperty obo:IAO_0000119 ;
   owl:annotatedTarget "ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158." ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/0000300>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000027 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/025-004>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000027 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/025-004>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000029
obo:BFO_0000029 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000141 ;
                obo:BFO_0000179 "site" ;
                obo:BFO_0000180 "Site" ;
                obo:IAO_0000112 "Manhattan Canyon)"@en ,
                                "a hole in the interior of a portion of cheese"@en ,
                                "a rabbit hole"@en ,
                                "an air traffic control region defined in the airspace above an airport"@en ,
                                "the Grand Canyon"@en ,
                                "the Piazza San Marco"@en ,
                                "the cockpit of an aircraft"@en ,
                                "the hold of a ship"@en ,
                                "the interior of a kangaroo pouch"@en ,
                                "the interior of the trunk of your car"@en ,
                                "the interior of your bedroom"@en ,
                                "the interior of your office"@en ,
                                "the interior of your refrigerator"@en ,
                                "the lumen of your gut"@en ,
                                "your left nostril (a fiat part – the opening – of your left nasal cavity)"@en ;
                obo:IAO_0000600 "b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])"@en ;
                obo:IAO_0000602 "(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] " ;
                <http://purl.org/dc/elements/1.1/identifier> "034-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "site"@en ;
                skos:definition "(Elucidation) b is a site means: b is a three-dimensional immaterial entity whose boundaries either (1) (partially or wholly) coincide with the boundaries of one or more material entities or (2) have locations determined in relation to some material entity"@en ;
                skos:example "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; An air traffic control region of type A is determined in terms of elevation above mean sea level of lower and upper boundaries. "@en ;
                skos:prefLabel "site"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:BFO]] [[Category:Imported vocabulary]]" .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000029 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/034-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000029 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/034-002>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000030
obo:BFO_0000030 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000040 ;
                obo:BFO_0000179 "object" ;
                obo:BFO_0000180 "Object" ;
                obo:IAO_0000112 "atom"@en ,
                                "cell"@en ,
                                "cells and organisms"@en ,
                                "engineered artifacts"@en ,
                                "grain of sand"@en ,
                                "molecule"@en ,
                                "organelle"@en ,
                                "organism"@en ,
                                "planet"@en ,
                                "solid portions of matter"@en ,
                                "star"@en ;
                obo:IAO_0000116 "BFO 2 Reference: BFO rests on the presupposition that at multiple micro-, meso- and macroscopic scales reality exhibits certain stable, spatially separated or separable material units, combined or combinable into aggregates of various sorts (for example organisms into what are called ‘populations’). Such units play a central role in almost all domains of natural science from particle physics to cosmology. Many scientific laws govern the units in question, employing general terms (such as ‘molecule’ or ‘planet’) referring to the types and subtypes of units, and also to the types and subtypes of the processes through which such units develop and interact. The division of reality into such natural units is at the heart of biological science, as also is the fact that these units may form higher-level units (as cells form multicellular organisms) and that they may also form aggregates of units, for example as cells form portions of tissue and organs form families, herds, breeds, species, and so on. At the same time, the division of certain portions of reality into engineered units (manufactured artifacts) is the basis of modern industrial technology, which rests on the distributed mass production of engineered parts through division of labor and on their assembly into larger, compound units such as cars and laptops. The division of portions of reality into units is one starting point for the phenomenon of counting."@en ,
                                "BFO 2 Reference: Each object is such that there are entities of which we can assert unproblematically that they lie in its interior, and other entities of which we can assert unproblematically that they lie in its exterior. This may not be so for entities lying at or near the boundary between the interior and exterior. This means that two objects – for example the two cells depicted in Figure 3 – may be such that there are material entities crossing their boundaries which belong determinately to neither cell. Something similar obtains in certain cases of conjoined twins (see below)."@en ,
                                "BFO 2 Reference: To say that b is causally unified means: b is a material entity which is such that its material parts are tied together in such a way that, in environments typical for entities of the type in question,if c, a continuant part of b that is in the interior of b at t, is larger than a certain threshold size (which will be determined differently from case to case, depending on factors such as porosity of external cover) and is moved in space to be at t at a location on the exterior of the spatial region that had been occupied by b at t, then either b’s other parts will be moved in coordinated fashion or b will be damaged (be affected, for example, by breakage or tearing) in the interval between t and t.causal changes in one part of b can have consequences for other parts of b without the mediation of any entity that lies on the exterior of b. Material entities with no proper material parts would satisfy these conditions trivially. Candidate examples of types of causal unity for material entities of more complex sorts are as follows (this is not intended to be an exhaustive list):CU1: Causal unity via physical coveringHere the parts in the interior of the unified entity are combined together causally through a common membrane or other physical covering\\. The latter points outwards toward and may serve a protective function in relation to what lies on the exterior of the entity [13, 47"@en ,
                                "BFO 2 Reference: an object is a maximal causally unified material entity"@en ,
                                "BFO 2 Reference: ‘objects’ are sometimes referred to as ‘grains’ [74"@en ;
                obo:IAO_0000600 "b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])"@en ;
                <http://purl.org/dc/elements/1.1/identifier> "024-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "object"@en ;
                skos:definition "(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 ;
                skos:example "An organism, a fish tank, a planet, a laptop, a valve, a block of marble, an ice cube. "@en ;
                skos:prefLabel "object"@en ;
                skos:scopeNote "A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User’s Guide "@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:BFO]] [[Category:Imported vocabulary]]" .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000030 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/024-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000031
obo:BFO_0000031 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000002 ;
                obo:BFO_0000179 "gdc" ;
                obo:BFO_0000180 "GenericallyDependentContinuant" ;
                obo: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 ;
                obo:IAO_0000115 "A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time."@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 ;
                obo:IAO_0000602 "(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "074-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "generically dependent continuant"@en ;
                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; it is the content or the pattern that the multiple copies 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 ;
                skos:prefLabel "generically dependent continuant"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000031 ;
   owl:annotatedProperty obo:IAO_0000115 ;
   owl:annotatedTarget "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 ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/074-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000031 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/074-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000035
obo:BFO_0000035 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000003 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000117 ;
                                  owl:allValuesFrom obo:BFO_0000035
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000121 ;
                                  owl:allValuesFrom obo:BFO_0000035
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000132 ;
                                  owl:allValuesFrom [ rdf:type owl:Class ;
                                                      owl:unionOf ( obo:BFO_0000015
                                                                    obo:BFO_0000035
                                                                  )
                                                    ]
                                ] ;
                obo:BFO_0000179 "p-boundary" ;
                obo:BFO_0000180 "ProcessBoundary" ;
                obo:IAO_0000112 "the boundary between the 2nd and 3rd year of your life."@en ;
                obo:IAO_0000115 "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])"@en ;
                obo:IAO_0000601 "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])"@en ;
                obo:IAO_0000602 "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] " ,
                                "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "084-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "process boundary"@en ;
                skos:definition "p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts"@en ;
                skos:example "The boundary between the 2nd and 3rd year of your life. "@en ;
                skos:prefLabel "process boundary"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000035 ;
   owl:annotatedProperty obo:IAO_0000115 ;
   owl:annotatedTarget "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/084-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000035 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/085-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000035 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/085-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000035 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/084-001>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000040
obo:BFO_0000040 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000004 ;
                owl:disjointWith obo:BFO_0000141 ;
                obo:BFO_0000179 "material" ;
                obo:BFO_0000180 "MaterialEntity" ;
                obo:IAO_0000112 "a flame"@en ,
                                "a forest fire"@en ,
                                "a human being"@en ,
                                "a hurricane"@en ,
                                "a photon"@en ,
                                "a puff of smoke"@en ,
                                "a sea wave"@en ,
                                "a tornado"@en ,
                                "an aggregate of human beings."@en ,
                                "an energy wave"@en ,
                                "an epidemic"@en ,
                                "the undetached arm of a human being"@en ;
                obo:IAO_0000115 "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ;
                obo:IAO_0000116 "BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60"@en ,
                                "BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity."@en ,
                                "BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here."@en ;
                obo:IAO_0000600 "A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])"@en ;
                obo:IAO_0000601 "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])"@en ,
                                "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])"@en ;
                obo:IAO_0000602 "(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] " ,
                                "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] " ,
                                "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] " ;
                <http://purl.org/dc/elements/1.1/identifier> "019-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "material entity"@en ;
                skos:definition "(Elucidation) A material entity is an independent continuant that at all times at which it exists has some portion of matter as continuant part"@en ;
                skos:example "A human being, the undetached arm of a human being, an aggregate of human beings. "@en ;
                skos:prefLabel "material entity"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000040 ;
   owl:annotatedProperty obo:IAO_0000600 ;
   owl:annotatedTarget "A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/019-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000040 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/020-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000040 ;
   owl:annotatedProperty obo:IAO_0000601 ;
   owl:annotatedTarget "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/021-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000040 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/019-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000040 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/021-002>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000040 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/020-002>
 ] .


###  http://purl.obolibrary.org/obo/BFO_0000141
obo:BFO_0000141 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000004 ;
                obo:BFO_0000179 "immaterial" ;
                obo:BFO_0000180 "ImmaterialEntity" ;
                obo:IAO_0000116 "BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10"@en ;
                <http://purl.org/dc/elements/1.1/identifier> "028-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "immaterial entity"@en ;
                skos:definition "a is an immaterial entity =Def a is an independent continuant which is such that there is no time t when it has a material entity as continuant part at t"@en ;
                skos:example "As for fiat point, fiat line, fiat surface, site. "@en ;
                skos:prefLabel "immaterial entity"@en .


###  http://purl.obolibrary.org/obo/BFO_0000145
obo:BFO_0000145 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000019 ;
                obo:BFO_0000179 "r-quality" ;
                obo:BFO_0000180 "RelationalQuality" ;
                obo: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 ,
                                "a marriage bond, an instance of requited love, an obligation between one person and another."@en ;
                obo:IAO_0000115 "b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])"@en ;
                obo:IAO_0000602 "(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] " ;
                <http://purl.org/dc/elements/1.1/identifier> "057-BFO" ;
                rdfs:isDefinedBy obo:bfo.owl ;
                rdfs:label "relational quality"@en ;
                skos:definition "b is a relational quality =Def b is a quality and there exists c and d such that b and c are not identical, & b s-depends on c & b s-depends on d"@en ;
                skos:example "A marriage bond, an instance of love, an obligation between one person and another. "@en ;
                skos:prefLabel "relational quality"@en .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000145 ;
   owl:annotatedProperty obo:IAO_0000115 ;
   owl:annotatedTarget "b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])"@en ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/057-001>
 ] .

[ rdf:type owl:Axiom ;
   owl:annotatedSource obo:BFO_0000145 ;
   owl:annotatedProperty obo:IAO_0000602 ;
   owl:annotatedTarget "(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] " ;
   obo:IAO_0010000 <http://purl.obolibrary.org/obo/bfo/axiom/057-001>
 ] .


###  http://purl.obolibrary.org/obo/CRO_0000000
obo:CRO_0000000 rdf:type owl:Class ;
                owl:equivalentClass aeon:AEON_0000005 ;
                rdfs:subClassOf obo:BFO_0000023 ;
                obo:IAO_0000114 obo:IAO_0000120 ;
                obo:IAO_0000115 "A high-level classification of the diverse roles performed in the work leading to a published research output in the sciences. Its purpose to provide transparency in contributions to scholarly published work, to enable improved systems of attribution, credit, and accountability."@en ;
                obo:IAO_0000119 "http://dictionary.casrai.org/Contributor_Roles" ;
                rdfs:label "contributor role"@en .


###  http://purl.obolibrary.org/obo/CRO_0000097
obo:CRO_0000097 rdf:type owl:Class ;
                owl:equivalentClass aeon:AEON_0000015 ;
                rdfs:subClassOf obo:CRO_0000000 ;
                obo:IAO_0000115 "The person or organization that provides money for a particular purpose, such as a grant to perform research. [definition source: https://www.lexico.com/en/definition/funder][definition source: https://www.lexico.com/en/definition/funder]"@en ;
                obo:IAO_0000118 "funder role"@en ;
                rdfs:label "funding source role"@en .


###  http://purl.obolibrary.org/obo/GAZ_00000448
obo:GAZ_00000448 rdf:type owl:Class ;
                 rdfs:subClassOf obo:BFO_0000029 ;
                 obo:IAO_0000115 "A reference to a place on the Earth, by its name or by its geographical location."@en ;
                 rdfs:label "geographic location"@en ;
                 aeon:SMW_datatype "Category" ;
                 aeon:SMW_import_info "[[Category:GAZ]] [[Category:Imported vocabulary]]" .


###  http://purl.obolibrary.org/obo/IAO_0000003
obo:IAO_0000003 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000009 ;
                obo:IAO_0000111 "measurement unit label"@en ;
                obo:IAO_0000112 "Examples of measurement unit labels are liters, inches, weight per volume."@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "A measurement unit label is as a label that is part of a scalar measurement datum and denotes a unit of measure."@en ;
                obo:IAO_0000116 """2009-03-16: provenance: a term measurement unit was
proposed for OBI (OBI_0000176) , edited by Chris Stoeckert and
Cristian Cocos, and subsequently moved to IAO where the objective for
which the original term was defined was satisfied with the definition
of this, different, term."""@en ,
                                "2009-03-16: review of this term done during during the OBI workshop winter 2009 and the current definition was considered acceptable for use in OBI. If there is a need to modify this definition please notify OBI."@en ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Melanie Courtot"@en ;
                rdfs:label "measurement unit label"@en .


###  http://purl.obolibrary.org/obo/IAO_0000009
obo:IAO_0000009 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ;
                obo:IAO_0000111 "datum label"@en ;
                obo:IAO_0000114 obo:IAO_0000123 ;
                obo:IAO_0000115 "A label is a symbol that is part of some other datum and is used to either partially define  the denotation of that datum or to provide a means for identifying the datum as a member of the set of data with the same label"@en ;
                obo:IAO_0000116 "http://www.golovchenko.org/cgi-bin/wnsearch?q=label#4n"@en ;
                obo:IAO_0000117 "GROUP: IAO"@en ;
                obo:IAO_0000232 """9/22/11 BP: changed the rdfs:label for this class from 'label' to 'datum label' to convey that this class is not intended to cover all kinds of labels (stickers, radiolabels, etc.), and not even all kind of textual labels, but rather the kind of labels occuring in a datum. 
""" ;
                rdfs:label "datum label"@en .


###  http://purl.obolibrary.org/obo/IAO_0000027
obo:IAO_0000027 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ;
                obo:IAO_0000111 "data item"@en ;
                obo:IAO_0000112 "Data items include counts of things, analyte concentrations, and statistical summaries."@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "An information content entity that is intended to be a truthful statement about something (modulo, e.g., measurement precision or other systematic errors) and is constructed/acquired by a method which reliably tends to produce (approximately) truthful statements."@en ;
                obo:IAO_0000116 "2/2/2009 Alan and Bjoern discussing FACS run output data. This is a data item because it is about the cell population. Each element records an event and is typically further composed a set of measurment data items that record the fluorescent intensity stimulated by one of the lasers."@en ,
                                "2009-03-16: data item deliberatly ambiguous: we merged data set and datum to be one entity, not knowing how to define singular versus plural. So data item is more general than datum."@en ,
                                "2009-03-16: removed datum as alternative term as datum specifically refers to singular form, and is thus not an exact synonym."@en ,
                                "2014-03-31: See discussion at http://odontomachus.wordpress.com/2014/03/30/aboutness-objects-propositions/" ,
                                """JAR: datum     -- well, this will be very tricky to define, but maybe some 
information-like stuff that might be put into a computer and that is 
meant, by someone, to denote and/or to be interpreted by some 
process... I would include lists, tables, sentences... I think I might 
defer to Barry, or to Brian Cantwell Smith

JAR: A data item is an approximately justified approximately true approximate belief"""@en ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Chris Stoeckert"@en ,
                                "PERSON: Jonathan Rees"@en ;
                obo:IAO_0000118 "data"@en ;
                rdfs:label "data item"@en .


###  http://purl.obolibrary.org/obo/IAO_0000028
obo:IAO_0000028 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ;
                obo:IAO_0000111 "symbol"@en ;
                obo:IAO_0000112 "a serial number such as \"12324X\""@en ,
                                "a stop sign"@en ,
                                "a written proper name such as \"OBI\""@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "An information content entity that is a mark(s) or character(s) used as a conventional representation of another entity."@en ;
                obo:IAO_0000116 "20091104, MC: this needs work and will most probably change"@en ,
                                "2014-03-31: We would like to have a deeper analysis of 'mark' and 'sign' in the future (see https://github.com/information-artifact-ontology/IAO/issues/154)."@en ;
                obo:IAO_0000117 "PERSON: James A. Overton"@en ,
                                "PERSON: Jonathan Rees"@en ;
                obo:IAO_0000119 "based on Oxford English Dictionary"@en ;
                rdfs:label "symbol"@en .


###  http://purl.obolibrary.org/obo/IAO_0000030
obo:IAO_0000030 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000031 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:IAO_0000136 ;
                                  owl:someValuesFrom obo:BFO_0000001
                                ] ;
                obo:IAO_0000111 "information content entity"@en ;
                obo:IAO_0000112 "Examples of information content entites include journal articles, data, graphical layouts, and graphs."@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "A generically dependent continuant that is about some thing."@en ;
                obo:IAO_0000116 "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 ;
                obo:IAO_0000117 "PERSON: Chris Stoeckert"@en ;
                obo:IAO_0000119 "OBI_0000142"@en ;
                rdfs:label "information content entity"@en .


###  http://purl.obolibrary.org/obo/IAO_0000032
obo:IAO_0000032 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000109 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:IAO_0000039 ;
                                  owl:minCardinality "1"^^xsd:nonNegativeInteger
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:IAO_0000004 ;
                                  owl:minCardinality "1"^^xsd:nonNegativeInteger
                                ] ;
                obo:IAO_0000112 "10 feet. 3 ml."@en ;
                obo:IAO_0000114 obo:IAO_0000120 ;
                obo:IAO_0000115 "A scalar measurement datum is a measurement datum that is composed of two parts, numerals and a unit label."@en ;
                obo:IAO_0000116 """2009-03-16: we decided to keep datum singular in scalar measurement datum, as in
this case we explicitly refer to the singular form"""@en ,
                                "Would write this as: has_part some 'measurement unit label' and has_part some numeral and has_part exactly 2, except for the fact that this won't let us take advantage of OWL reasoning over the numbers. Instead use has measurment value property to represent the same. Use has measurement unit label (subproperty of has_part) so we can easily say that there is only one of them."@en ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Melanie Courtot"@en ;
                rdfs:label "scalar measurement datum"@en .


###  http://purl.obolibrary.org/obo/IAO_0000100
obo:IAO_0000100 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000027 ;
                obo:IAO_0000111 "data set"@en ;
                obo:IAO_0000112 "Intensity values in a CEL file or from multiple CEL files comprise a data set (as opposed to the CEL files themselves)."@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "A data item that is an aggregate of other data items of the same type that have something in common. Averages and distributions can be determined for data sets."@en ;
                obo:IAO_0000116 "2009/10/23 Alan Ruttenberg. The intention is that this term represent collections of like data. So this isn't for, e.g. the whole contents of a cel file, which includes parameters, metadata etc. This is more like java arrays of a certain rather specific type"@en ,
                                "2014-05-05: Data sets are aggregates and thus must include two or more data items. We have chosen not to add logical axioms to make this restriction." ;
                obo:IAO_0000117 "person:Allyson Lister"@en ,
                                "person:Chris Stoeckert"@en ;
                obo:IAO_0000119 "OBI_0000042"@en ,
                                "group:OBI"@en ;
                rdfs:label "data set"@en .


###  http://purl.obolibrary.org/obo/IAO_0000101
obo:IAO_0000101 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000308 ;
                obo:IAO_0000111 "image"@en ;
                obo:IAO_0000114 obo:IAO_0000122 ;
                obo:IAO_0000115 "An image is an affine projection to a two dimensional surface, of measurements of some quality of an entity or entities repeated at regular intervals across a spatial range, where the measurements are represented as color and luminosity on the projected on surface."@en ;
                obo:IAO_0000117 "person:Alan Ruttenberg"@en ,
                                "person:Allyson"@en ,
                                "person:Chris Stoeckert"@en ;
                obo:IAO_0000119 "OBI_0000030"@en ,
                                "group:OBI"@en ;
                rdfs:label "image"@en .


###  http://purl.obolibrary.org/obo/IAO_0000109
obo:IAO_0000109 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000027 ;
                obo:IAO_0000111 "measurement datum"@en ;
                obo:IAO_0000112 "Examples of measurement data are the recoding of the weight of a mouse as {40,mass,\"grams\"}, the recording of an observation of the behavior of the mouse {,process,\"agitated\"}, the recording of the expression level of a gene as measured through the process of microarray experiment {3.4,luminosity,}."@en ;
                obo:IAO_0000114 obo:IAO_0000125 ;
                obo:IAO_0000115 "A measurement datum is an information content entity that is a recording of the output of a measurement such as produced by a device."@en ;
                obo:IAO_0000116 "2/2/2009 is_specified_output of some assay?"@en ;
                obo:IAO_0000117 "person:Chris Stoeckert"@en ;
                obo:IAO_0000119 "OBI_0000305"@en ,
                                "group:OBI"@en ;
                rdfs:label "measurement datum"@en .


###  http://purl.obolibrary.org/obo/IAO_0000308
obo:IAO_0000308 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ;
                obo:IAO_0000111 "figure"@en ;
                obo:IAO_0000112 "Any picture, diagram or table"@en ;
                obo:IAO_0000114 obo:IAO_0000120 ;
                obo:IAO_0000115 "An information content entity consisting of a two dimensional arrangement of information content entities such that the arrangement itself is about something."@en ;
                obo:IAO_0000117 "PERSON: Lawrence Hunter"@en ;
                rdfs:label "figure"@en .


###  http://purl.obolibrary.org/obo/IAO_0000416
obo:IAO_0000416 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000032 ,
                                [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
                                                         owl:onProperty obo:IAO_0000039 ;
                                                         owl:allValuesFrom obo:UO_0000003
                                                       ]
                                                       [ rdf:type owl:Restriction ;
                                                         owl:onProperty obo:IAO_0000413 ;
                                                         owl:allValuesFrom obo:BFO_0000015
                                                       ]
                                                     ) ;
                                  rdf:type owl:Class
                                ] ;
                obo:IAO_0000114 obo:IAO_0000123 ;
                obo:IAO_0000115 "A scalar measurement datum that is the result of measuring a temporal interval"@en ;
                obo:IAO_0000116 "2009/09/28 Alan Ruttenberg. Fucoidan-use-case"@en ;
                obo:IAO_0000117 "Person:Alan Ruttenberg"@en ;
                rdfs:label "time measurement datum"@en .


###  http://purl.obolibrary.org/obo/IAO_0000577
obo:IAO_0000577 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000028 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000050 ;
                                  owl:someValuesFrom obo:IAO_0000578
                                ] ;
                obo:IAO_0000112 "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 ;
                obo:IAO_0000114 obo:IAO_0000120 ;
                obo:IAO_0000115 "A symbol that is part of a CRID and that is sufficient to look up a record from the CRID's registry."@en ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Bill Hogan"@en ,
                                "PERSON: Bjoern Peters"@en ,
                                "PERSON: Melanie Courtot"@en ;
                obo:IAO_0000118 "CRID symbol" ;
                obo:IAO_0000119 "Original proposal from Bjoern, discussions at IAO calls"@en ;
                rdfs:label "centrally registered identifier symbol"@en .


###  http://purl.obolibrary.org/obo/IAO_0000578
obo:IAO_0000578 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000051 ;
                                  owl:someValuesFrom obo:IAO_0000577
                                ] ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:BFO_0000051 ;
                                  owl:someValuesFrom [ rdf:type owl:Restriction ;
                                                       owl:onProperty obo:IAO_0000219 ;
                                                       owl:someValuesFrom obo:IAO_0000579
                                                     ]
                                ] ;
                obo:IAO_0000112 "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 ;
                obo:IAO_0000114 obo:IAO_0000120 ;
                obo:IAO_0000115 "An information content entity that consists of a CRID symbol and additional information about the CRID registry to which it belongs."@en ;
                obo:IAO_0000116 "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 ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Bill Hogan"@en ,
                                "PERSON: Bjoern Peters"@en ,
                                "PERSON: Melanie Courtot"@en ;
                obo:IAO_0000118 "CRID" ;
                obo:IAO_0000119 "Original proposal from Bjoern, discussions at IAO calls"@en ;
                rdfs:label "centrally registered identifier"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:IAO]] [[Category:Imported vocabulary]]" .


###  http://purl.obolibrary.org/obo/IAO_0000579
obo:IAO_0000579 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000100 ;
                obo:IAO_0000112 "PubMed is a CRID registry. It has a dataset of PubMed identifiers associated with journal articles. "@en ;
                obo:IAO_0000114 obo:IAO_0000120 ;
                obo:IAO_0000115 "A CRID registry is a dataset of CRID records, each consisting of a CRID symbol and additional information which was recorded in the dataset through a assigning a centrally registered identifier process."@en ;
                obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
                                "PERSON: Bill Hogan"@en ,
                                "PERSON: Bjoern Peters"@en ,
                                "PERSON: Melanie Courtot"@en ;
                obo:IAO_0000118 "CRID registry" ;
                obo:IAO_0000119 "Original proposal from Bjoern, discussions at IAO calls"@en ;
                rdfs:label "centrally registered identifier registry"@en .


###  http://purl.obolibrary.org/obo/IAO_0000582
obo:IAO_0000582 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000109 ,
                                [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
                                                         owl:onProperty obo:IAO_0000581 ;
                                                         owl:someValuesFrom obo:IAO_0000416
                                                       ]
                                                       [ rdf:type owl:Restriction ;
                                                         owl:onProperty obo:IAO_0000583 ;
                                                         owl:someValuesFrom obo:IAO_0000109
                                                       ]
                                                     ) ;
                                  rdf:type owl:Class
                                ] ;
                obo:IAO_0000114 obo:IAO_0000123 ;
                rdfs:label "time stamped measurement datum"@en .


###  http://purl.obolibrary.org/obo/IAO_0020000
obo:IAO_0020000 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ;
                obo:IAO_0000111 "identifier"@en ;
                obo:IAO_0000115 "An identifier is 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 ;
                obo:IAO_0000412 <http://purl.obolibrary.org/obo/iao/pno.owl> ;
                rdfs:label "identifier"@en .


###  http://purl.obolibrary.org/obo/ICO_0000048
obo:ICO_0000048 rdf:type owl:Class ;
                rdfs:subClassOf obo:OBI_0000245 ;
                obo:IAO_0000115 "An organization that is operated without the principal goal of making a financial profit."@en ;
                rdfs:label "nonprofit organization"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:ICO]] [[Category:Imported vocabulary]]" .


###  http://purl.obolibrary.org/obo/ICO_0000049
obo:ICO_0000049 rdf:type owl:Class ;
                rdfs:subClassOf obo:OBI_0000245 ;
                obo:IAO_0000115 "An organization which has the principle goal of earning financial profit."@en ;
                rdfs:label "profit organization"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:ICO]] [[Category:Imported vocabulary]]" .


###  http://purl.obolibrary.org/obo/NCBITaxon_9606
obo:NCBITaxon_9606 rdf:type owl:Class ;
                   rdfs:subClassOf obo:OBI_0100026 ;
                   obo:IAO_0000116 "The class 'Homo sapiens' is used in order to refer to a person, as this is the proper definition of what a person in AEON should represent. In other words to refer to a person in the context of AEON means to refer to a human being which is always a 'Homo sapiens'." ;
                   rdfs:label "Homo sapiens" ;
                   aeon:SMW_datatype "Category" ;
                   aeon:SMW_import_info "[[Category:NCBITaxon]] [[Category:Imported vocabulary]]" .


###  http://purl.obolibrary.org/obo/OBI_0000011
obo:OBI_0000011 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000015 ;
                obo:IAO_0000111 "planned process"@en ;
                obo:IAO_0000115 "A process that realizes a plan which is the concretization of a plan specification."@en ;
                obo:IAO_0000412 obo:obi.owl ;
                rdfs:label "planned process"@en .


###  http://purl.obolibrary.org/obo/OBI_0000245
obo:OBI_0000245 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000040 ;
                obo:IAO_0000112 "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 ;
                obo:IAO_0000114 "ready for release"@en ;
                obo:IAO_0000115 "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 ;
                obo:IAO_0000116 "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 ;
                obo:IAO_0000119 "GROUP: OBI"@en ;
                obo:IAO_0000412 "http://purl.obolibrary.org/obo/obi.owl"@en ;
                obo:IAO_0000600 "institutional body (research organization, society, association etc.)"@en ;
                rdfs:label "organization"@en ;
                aeon:SMW_datatype "Category" ;
                aeon:SMW_import_info "[[Category:OBI]] [[Category:Imported vocabulary]]" .


###  http://purl.obolibrary.org/obo/OBI_0100026
obo:OBI_0100026 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000040 ;
                obo:IAO_0000112 "fungus; plant; virus; animal"@en ;
                obo:IAO_0000114 "organizational term"@en ;
                obo:IAO_0000115 "A material entity that is an individual living system, such as animal, plant, bacteria or virus, that is capable of replicating or reproducing, growth and maintenance in the right environment. An organism may be unicellular or made up, like humans, of many billions of cells divided into specialized tissues and organs." ;
                obo:IAO_0000116 "10/21/09: This is a placeholder term, that should ideally be imported from the NCBI taxonomy, but the high level hierarchy there does not suit our needs (includes plasmids and 'other organisms')"@en ,
                                "13-02-2009: OBI doesn't take position as to when an organism starts or ends being an organism - e.g. sperm, foetus. This issue is outside the scope of OBI."@en ;
                obo:IAO_0000119 "WEB: http://en.wikipedia.org/wiki/Organism"@en ;
                rdfs:label "organism"@en .


###  http://purl.obolibrary.org/obo/UO_0000003
obo:UO_0000003 rdf:type owl:Class ;
               rdfs:subClassOf obo:IAO_0000003 ;
               obo:IAO_0000111 "time unit"^^xsd:string ;
               obo:IAO_0000115 "A unit which is a standard measure of the dimension in which events occur in sequence."^^xsd:string ;
               obo:IAO_0000412 obo:uo.owl ;
               rdfs:label "time unit"^^xsd:string .


###  http://www.w3.org/2004/02/skos/core#Concept
skos:Concept rdf:type owl:Class ;
             obo:IAO_0000115 """The class skos:Concept is the class of SKOS concepts.

A SKOS concept can be viewed as an idea or notion; a unit of thought. However, what constitutes a unit of thought is subjective, and this definition is meant to be suggestive, rather than restrictive.

The notion of a SKOS concept is useful when describing the conceptual or intellectual structure of a knowledge organization system, and when referring to specific ideas or meanings established within a KOS.

Note that, because SKOS is designed to be a vehicle for representing semi-formal KOS, such as thesauri and classification schemes, a certain amount of flexibility has been built in to the formal definition of this class.""" ;
             rdfs:label "Concept" ;
             aeon:SMW_datatype "Category" ;
             aeon:SMW_import_info "[[Category:SKOS]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000001
aeon:AEON_0000001 rdf:type owl:Class ;
                  owl:equivalentClass [ rdf:type owl:Restriction ;
                                        owl:onProperty obo:BFO_0000132 ;
                                        owl:someValuesFrom aeon:AEON_0000002
                                      ] ;
                  rdfs:subClassOf obo:BFO_0000015 ;
                  owl:disjointWith aeon:AEON_0000002 ;
                  obo:IAO_0000112 "The 19th International Semantic Web Conference (ISWC2020) is an academic  event."@en ;
                  obo:IAO_0000115 "An academic event is an organized gathering for researchers (not necessarily academics) to present and discuss their work."@en ;
                  rdfs:label "academic event"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """
           [[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000002
aeon:AEON_0000002 rdf:type owl:Class ;
                  rdfs:subClassOf obo:BFO_0000015 ;
                  obo:IAO_0000112 "International Semantic Web Conference (ISWC) series" ;
                  rdfs:label "academic event series" ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000003
aeon:AEON_0000003 rdf:type owl:Class ;
                  rdfs:subClassOf obo:IAO_0000578 ;
                  rdfs:comment "The \"rdfs:label ConfIDent_ID\" is used here, as the ontology is being developed by the ConfIDent project (https://projects.tib.eu/en/confident/) to be used in its service. Thus the internal identifier is called ConfIDent_ID. You will probably want to change that in your implementation."@en ;
                  rdfs:label "ConfIDent ID"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000004
aeon:AEON_0000004 rdf:type owl:Class ;
                  rdfs:subClassOf skos:Concept ;
                  rdfs:label "event type"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "The individuals/instances of this class make up the allowed value list in [[MediaWiki:Smw_allows_list_has_event_type]]. [[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000005
aeon:AEON_0000005 rdf:type owl:Class ;
                  rdfs:subClassOf obo:BFO_0000023 ;
                  obo:IAO_0000117 "Philip Strömert"^^xsd:string ;
                  <http://purl.org/dc/elements/1.1/date> "2020-09-28T12:51:02Z"^^xsd:dateTime ;
                  rdfs:label "contributor role"@de ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000006
aeon:AEON_0000006 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000005 ;
                  rdfs:label "organizer role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Organizer]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000007
aeon:AEON_0000007 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000006 ;
                  rdfs:label "committee member role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Committee]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000008
aeon:AEON_0000008 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000007 ;
                  rdfs:label "committee chair role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000009
aeon:AEON_0000009 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000006 ;
                  rdfs:label "contact person role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000010
aeon:AEON_0000010 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000005 ;
                  rdfs:label "attendee role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000011
aeon:AEON_0000011 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000005 ;
                  rdfs:label "moderator role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000012
aeon:AEON_0000012 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000005 ;
                  obo:IAO_0000115 "Evaluation of scientific, academic, or professional work, such as manuscripts or grants by others working in the same field. [definition source: https://www.lexico.com/en/definition/peer_review][definition source: https://www.lexico.com/en/definition/peer_review]" ;
                  obo:IAO_0000116 "ToDo: use CRO IRI" ;
                  obo:IAO_0000118 "manuscript review role" ;
                  rdfs:isDefinedBy "http://purl.obolibrary.org/obo/CRO_0000101" ;
                  rdfs:label "reviewer role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000013
aeon:AEON_0000013 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000005 ;
                  obo:IAO_0000118 "invited speaker role"@en ;
                  rdfs:label "speaker role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000014
aeon:AEON_0000014 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000013 ;
                  rdfs:label "keynote speaker role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000015
aeon:AEON_0000015 rdf:type owl:Class ;
                  rdfs:subClassOf aeon:AEON_0000005 ;
                  rdfs:comment "PS 2-9-2020: For me there is still the open question on how to best model the different sponsor types (e.g. gold, silver, bronze...). As the possible sponsor types can have various schemes, it seems best to have named individuals of the aeon:Sponsor class at the moment." ;
                  rdfs:label "sponsor role"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000016
aeon:AEON_0000016 rdf:type owl:Class ;
                  rdfs:subClassOf obo:IAO_0000578 ;
                  rdfs:label "DOI" ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000017
aeon:AEON_0000017 rdf:type owl:Class ;
                  rdfs:subClassOf obo:IAO_0000578 ;
                  rdfs:label "GND ID" ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject External_Process_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000018
aeon:AEON_0000018 rdf:type owl:Class ;
                  rdfs:subClassOf obo:IAO_0000578 ;
                  rdfs:label "ISNI" ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000019
aeon:AEON_0000019 rdf:type owl:Class ;
                  rdfs:subClassOf obo:IAO_0000578 ;
                  rdfs:label "ORCID" ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Person_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000020
aeon:AEON_0000020 rdf:type owl:Class ;
                  rdfs:subClassOf obo:IAO_0000578 ;
                  rdfs:label "ROR ID" ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000021
aeon:AEON_0000021 rdf:type owl:Class ;
                  rdfs:subClassOf obo:IAO_0000578 ;
                  rdfs:label "WDQID" ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info """[[partOfSubobject::Template:Subobject Process_External_ID]]
[[partOfSubobject::Template:Subobject Person_ID]]
[[partOfSubobject::Template:Subobject Organization_ID]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#AEON_0000022
aeon:AEON_0000022 rdf:type owl:Class ;
                  rdfs:subClassOf obo:GAZ_00000448 ;
                  rdfs:label "city"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000023
aeon:AEON_0000023 rdf:type owl:Class ;
                  rdfs:subClassOf obo:GAZ_00000448 ;
                  rdfs:label "country"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000024
aeon:AEON_0000024 rdf:type owl:Class ;
                  rdfs:subClassOf obo:GAZ_00000448 ;
                  obo:IAO_0000118 "province"@en ;
                  rdfs:label "state"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#AEON_0000025
aeon:AEON_0000025 rdf:type owl:Class ;
                  rdfs:subClassOf obo:GAZ_00000448 ;
                  rdfs:label "event venue"@en ;
                  aeon:SMW_datatype "Category" ;
                  aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#ExternalIdentifier
aeon:ExternalIdentifier rdf:type owl:Class ;
                        obo:IAO_0000116 "This class is probably obsolete after completing the BFO subsumtion hierarchy." ;
                        rdfs:label "obsolete External ID"^^xsd:string ;
                        owl:deprecated "true"^^xsd:boolean .


###  https://github.com/tibonto/aeon#Fee
aeon:Fee rdf:type owl:Class ;
         obo:IAO_0000115 "The financial cost of attendance at a scientific event." ;
         aeon:SMW_datatype "Category" ;
         aeon:SMW_import_info """The individuals/instances of this class make up the allowed value list in [[MediaWiki:Smw_allows_list_Has_fee]].

[[partOfSubobject::Template:Subobject Fee]]

[[Category:AEON]] [[Category:Imported vocabulary]]""" .


###  https://github.com/tibonto/aeon#Identifier
aeon:Identifier rdf:type owl:Class ;
                obo:IAO_0000116 "This class is probably obsolete after completing the BFO subsumtion hierarchy." ;
                rdfs:seeAlso "http://purl.obolibrary.org/obo/IAO_0020000"@en ;
                owl:deprecated "true"^^xsd:boolean .


###  https://github.com/tibonto/aeon#Location
aeon:Location rdf:type owl:Class ;
              owl:deprecated "true"^^xsd:boolean .


###  https://github.com/tibonto/aeon#PhysicalLocation
aeon:PhysicalLocation rdf:type owl:Class ;
                      rdfs:label "obsolete Physical Location"^^xsd:string ;
                      owl:deprecated "true"^^xsd:boolean .


###  https://github.com/tibonto/aeon#Subject
aeon:Subject rdf:type owl:Class ;
             rdfs:subClassOf skos:Concept ;
             obo:IAO_0000115 "The subject of an academic event or event series is a skos:Concept from a controlled vocabulary, which is used to denote the academic field of the event or event series." ;
             aeon:SMW_datatype "Category" ;
             aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


###  https://github.com/tibonto/aeon#Topic
aeon:Topic rdf:type owl:Class ;
           rdfs:subClassOf skos:Concept ;
           obo:IAO_0000115 "The topic of an academic event or event series is a skos:Concept that denotes what the event or series is about." ;
           obo:IAO_0000117 "Philip Strömert"^^xsd:string ;
           <http://purl.org/dc/elements/1.1/date> "2020-09-25T12:52:39Z"^^xsd:dateTime ;
           rdfs:label "Topic"@de .


###  https://github.com/tibonto/aeon#VirtualLocation
aeon:VirtualLocation rdf:type owl:Class ;
                     rdfs:label "obsolete Virtual Location"^^xsd:string ;
                     owl:deprecated "true"^^xsd:boolean .


###  https://github.com/tibonto/aeon#committee
aeon:committee rdf:type owl:Class ;
               rdfs:subClassOf obo:BFO_0000027 ;
               aeon:SMW_datatype "Category" ;
               aeon:SMW_import_info "[[Category:AEON]] [[Category:Imported vocabulary]]" .


#################################################################
#    Individuals
#################################################################

###  https://github.com/tibonto/aeon#Bronze_Sponsor
aeon:Bronze_Sponsor rdf:type owl:NamedIndividual ,
                             aeon:AEON_0000015 .


###  https://github.com/tibonto/aeon#Colloquium
aeon:Colloquium rdf:type owl:NamedIndividual ,
                         aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Conference
aeon:Conference rdf:type owl:NamedIndividual ,
                         aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Forum
aeon:Forum rdf:type owl:NamedIndividual ,
                    aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Gold_Sponsor
aeon:Gold_Sponsor rdf:type owl:NamedIndividual ,
                           aeon:AEON_0000015 .


###  https://github.com/tibonto/aeon#Hackathon
aeon:Hackathon rdf:type owl:NamedIndividual ,
                        aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Lisbon
aeon:Lisbon rdf:type owl:NamedIndividual .


###  https://github.com/tibonto/aeon#PIDapalooza
aeon:PIDapalooza rdf:type owl:NamedIndividual ,
                          aeon:AEON_0000002 ;
                 rdfs:comment obo:IAO_0000002 ;
                 rdfs:label "PIDapalooza"@en .


###  https://github.com/tibonto/aeon#PIDapalooza2020
aeon:PIDapalooza2020 rdf:type owl:NamedIndividual ,
                              aeon:AEON_0000001 ;
                     aeon:has_WDQID <https://www.wikidata.org/wiki/Q65929359> ;
                     aeon:has_event_type aeon:Conference ;
                     aeon:has_internal_identifier aeon:_ConfIDentID_1 ;
                     aeon:has_speaker aeon:_Person_1 ;
                     aeon:occurs_in_city aeon:Lisbon ;
                     aeon:occurs_in_country aeon:Portugal ;
                     aeon:part_of_series aeon:PIDapalooza ;
                     aeon:end_date "2020-01-30T17:00:00"^^xsd:dateTime ;
                     aeon:number_of_attendees 117 ;
                     aeon:number_of_tracks 13 ;
                     aeon:start_date "2020-01-29T09:00:00"^^xsd:dateTime ;
                     rdfs:comment obo:IAO_0000002 ;
                     rdfs:label "PIDapalooza2020"@en .


###  https://github.com/tibonto/aeon#Portugal
aeon:Portugal rdf:type owl:NamedIndividual .


###  https://github.com/tibonto/aeon#Seminar
aeon:Seminar rdf:type owl:NamedIndividual ,
                      aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Session
aeon:Session rdf:type owl:NamedIndividual ,
                      aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Silver_Sponsor
aeon:Silver_Sponsor rdf:type owl:NamedIndividual ,
                             aeon:AEON_0000015 .


###  https://github.com/tibonto/aeon#Symposium
aeon:Symposium rdf:type owl:NamedIndividual ,
                        aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Talk
aeon:Talk rdf:type owl:NamedIndividual ,
                   aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Track
aeon:Track rdf:type owl:NamedIndividual ,
                    aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Tutorial
aeon:Tutorial rdf:type owl:NamedIndividual ,
                       aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#Workshop
aeon:Workshop rdf:type owl:NamedIndividual ,
                       aeon:AEON_0000004 .


###  https://github.com/tibonto/aeon#_ConfIDentID_1
aeon:_ConfIDentID_1 rdf:type owl:NamedIndividual ;
                    aeon:ID "PIDapalooza_2020"^^xsd:string ;
                    aeon:ID_URL "https://www.confident-conference.org/r/vanilla/index.php/PIDapalooza_2020"^^xsd:anyURI ;
                    aeon:ID_base_URL "https://www.confident-conference.org/r/vanilla/index.php/"^^xsd:anyURI ;
                    rdfs:comment obo:IAO_0000002 .


###  https://github.com/tibonto/aeon#_Person_1
aeon:_Person_1 rdf:type owl:NamedIndividual ,
                        obo:NCBITaxon_9606 ;
               aeon:first_name "Philip"^^xsd:string ;
               aeon:last_name "Strömert"^^xsd:string ;
               rdfs:comment obo:IAO_0000002 .


###  https://github.com/tibonto/aeon#other_EventType
aeon:other_EventType rdf:type owl:NamedIndividual ,
                              aeon:AEON_0000004 ;
                     obo:IAO_0000117 "Philip Strömert"^^xsd:string ;
                     <http://purl.org/dc/elements/1.1/date> "2020-09-28T11:57:10Z"^^xsd:dateTime ;
                     rdfs:label "other EventType"@de .


###  https://www.wikidata.org/wiki/Q65929359
<https://www.wikidata.org/wiki/Q65929359> rdf:type owl:NamedIndividual ,
                                                   aeon:AEON_0000021 ;
                                          rdfs:comment obo:IAO_0000002 .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( obo:BFO_0000004
                obo:BFO_0000020
                obo:BFO_0000031
              )
] .


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( obo:BFO_0000008
                obo:BFO_0000011
                obo:BFO_0000015
                obo:BFO_0000035
              )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( aeon:Bronze_Sponsor
                        aeon:Gold_Sponsor
                        aeon:Silver_Sponsor
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( aeon:Colloquium
                        aeon:Conference
                        aeon:Forum
                        aeon:Hackathon
                        aeon:Seminar
                        aeon:Session
                        aeon:Symposium
                        aeon:Talk
                        aeon:Track
                        aeon:Tutorial
                        aeon:Workshop
                        aeon:other_EventType
                      )
] .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi