Preferred Name |
independent continuant |
Definitions |
b是一个独立常体= Def. b是一个常体,使得在t时刻不存在c,也不存在t,从而在t时刻b s-依赖_于c。 (BFO2公理标签参考:[017-002]) A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. |
ID |
http://purl.obolibrary.org/obo/BFO_0000004 |
BFO CLIF specification label |
独立常体(IndependentContinuant) IndependentContinuant IndependentContinuant |
BFO OWL规范标签 |
ic ic |
editor preferred label |
independent continuant 独立常体(Independent Continuant) |
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(nl) |
对于任何独立常体b和任何时刻t,都有一些空间区域r,使得b在t时刻位_于r处。 (BFO2公理标签参考:[134-001]) 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]) 对于在其生命周期中的每个时间区域内每个独立的常体b和时间t,在t期间存在s-依赖_于b的实体。 (BFO2公理标签参考:[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 独立常体 |
occupies spatial region at some time | |
prefixIRI |
BFO:0000004 |
prefLabel |
independent continuant |
textual definition |
b是一个独立常体= Def. b是一个常体,使得在t时刻不存在c,也不存在t,从而在t时刻b s-依赖_于c。 (BFO2公理标签参考:[017-002]) A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. 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]) 常体是质量和可实现实体的载体,其中其他实体在其中并且本身不能在任何地方存在。 |
具有相关联的公理(fol) |
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (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] (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] |
引自 |
http://purl.obolibrary.org/obo/clo.owl http://purl.obolibrary.org/obo/ogg.owl |
subClassOf |