Object Property: 'bearer of at some time'
http://purl.obolibrary.org/obo/BFO_0000053
Annotations (9)
-
'BFO OWL specification label' "bearer-of_st" ()
-
'BFO CLIF specification label' "bearerOfAt" ()
-
definition "b bearer_of c at t =Def. c s-depends_on b at t & b is an independent continuant that is not a spatial region. (axiom label in BFO2 Reference: [053-004])" (en)
-
'editor note' "Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'bearer of at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'bearer of@en'(x,y,t)" ()
-
'editor note' "BFO2 Reference: independent continuant that is not a spatial region" ()
-
'editor note' "BFO2 Reference: specifically dependent continuant" ()
-
'has associated axiom(fol)' "(iff (bearerOfAt a b t) (and (specificallyDependsOnAt b a t) (IndependentContinuant a) (not (SpatialRegion a)) (existsAt b t))) // axiom label in BFO2 CLIF: [053-004] " ()
-
isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
-
label "bearer of at some time" (en)
Domains (1)
Ranges (1)
Superproperties (1)
Usage (10)