Object Property: 'role of at all times'
http://purl.obolibrary.org/obo/BFO_0000081
Annotations (7)
-
'BFO OWL specification label' "r-of_at" ()
-
'BFO CLIF specification label' "roleOfAt" ()
-
definition "a role_of b at t =Def. a is a role and a inheres_in b at t. (axiom label in BFO2 Reference: [065-001])" (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 'role of at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'role of@en(x,y,t)'." ()
-
'has associated axiom(fol)' "(iff (roleOfAt a b t) (and (Role a) (inheresInAt a b t))) // axiom label in BFO2 CLIF: [065-001] " ()
-
isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
-
label "role of at all times" (en)
Domains (1)
Superproperties (1)
Usage (3)