loading...| Preferred Name |
自在常体 |
| Definitions |
b 是自在常体 定义为： b 是常体，且不存在 c 和时间 t 使得在 t 时间 b 特定依赖于(s-depends_on) c。(axiom label in BFO2 Reference: [017-002]) 作为性质和可实现实体的载体的一种常体，其他实体依赖它而它本身不依赖其它任何事物。 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]) |
| ID |
http://purl.obolibrary.org/obo/BFO_0000004 |
| BFO CLIF specification label |
IndependentContinuant |
| BFO OWL specification label |
ic |
| definition |
b 是自在常体 定义为： b 是常体，且不存在 c 和时间 t 使得在 t 时间 b 特定依赖于(s-depends_on) c。(axiom label in BFO2 Reference: [017-002]) 作为性质和可实现实体的载体的一种常体，其他实体依赖它而它本身不依赖其它任何事物。 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]) |
| example of usage |
人体躯干右下部分 the bottom right portion of a human torso 口腔内部 椅子 an orchestra. the interior of your mouth 空间区域 an atom a chair 腿 a molecule a spatial region 有机体 原子 分子 心脏 a heart 乐队 an organism a leg |
| has associated axiom(fol) |
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] (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] |
| has associated axiom(nl) |
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]) 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]) |
| isDefinedBy | |
| label |
independent continuant 自在常体 |
| prefixIRI |
BFO:0000004 |
| prefLabel |
自在常体 |
| subClassOf | |
| disjointWith |