ONTOLOGY EXPLORER
_:c14n1891
_:c14n1891
匿名ノードの番号はこのスナップショット内の表示用です。データの構造が変わると番号や閲覧URLも変わる場合があります。
プロパティと値
| プロパティ | 値 |
|---|---|
| IAO_0010000 | 050-003 |
| type | Axiom |
| annotatedProperty | IAO_0000602 |
| annotatedSource | BFO_0000020 |
| annotatedTarget | "(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] " |
この項目への参照
このグラフ内での参照はありません。