loading...| Preferred Name |
可实现实体 |
| Definitions |
一种特定他在常体，其存在于某些常体中，且展现的时间少于这些常体所存在的时间。可实现实体的展现或实现是在特定环境下发生的一种特殊的表现、功能或过程。 |
| ID |
http://purl.obolibrary.org/obo/BFO_0000017 |
| BFO CLIF specification label |
RealizableEntity |
| BFO OWL specification label |
realizable |
| definition |
一种特定他在常体，其存在于某些常体中，且展现的时间少于这些常体所存在的时间。可实现实体的展现或实现是在特定环境下发生的一种特殊的表现、功能或过程。 |
| elucidation |
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]) b是一种可实现实体，则b是一种特定他在常体，其存在于某些自在常体中，这些常体不是空间域，是某种相关类型的过程内所实现的一种实例。 |
| example of usage |
the role of being a doctor 该边界用于划分犹他州和科罗拉多州的角色 the function of your reproductive organs 你的生殖器官的功能 作为医生的角色 the role of this boundary to delineate where Utah and Colorado meet the disposition of this piece of metal to conduct electricity. 你的血液凝结的势 the disposition of your blood to coagulate 这块金属导电的势 |
| has associated axiom(fol) |
(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] |
| has associated axiom(nl) |
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) |
| isDefinedBy | |
| label |
可实现实体 realizable entity |
| prefixIRI |
BFO:0000017 |
| prefLabel |
可实现实体 |
| disjointWith | |
| subClassOf |