BFO | Classes | AgroPortal

ID	http://purl.obolibrary.org/obo/BFO_0000035 http://purl.obolibrary.org/obo/BFO_0000035 https://agroportal.lirmm.fr/ontologies/BFO/BFO_0000035 Loading
Preferred name	process boundary
Definitions	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])

rdfs:isDefinedBy	http://purl.obolibrary.org/obo/bfo.owl
obo_purl: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])
obo_purl: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]
obo_purl:IAO_0000112	the boundary between the 2nd and 3rd year of your life.
obo_purl:IAO_0000601	Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
obo_purl:BFO_0000180	ProcessBoundary
rdf:type	http://www.w3.org/2002/07/owl#Class
obo_purl:BFO_0000179	p-boundary
rdfs:label	process boundary
rdfs:subClassOf	http://purl.obolibrary.org/obo/BFO_0000003

Filter: Hide Archived

Subject	Author	Type	Created
No notes to display