Link to this page
Ontology of Cardiovascular Drug Adverse Events
Last uploaded:
December 29, 2016
Acronym | OCVDAE |
Visibility | Public |
Description | OCVDAE is a biomedical ontology of cardiovascular disease drug-associated adverse events |
Status | Alpha |
Format | OWL |
Contact | Liwei Wang, wang.liwei@mayo.edu Yongqun Oliver He, yongqunh@med.umich.edu |
No views of OCVDAE available
Jump to:
Id | http://purl.obolibrary.org/obo/BFO_0000004
http://purl.obolibrary.org/obo/BFO_0000004
|
---|---|
Preferred Name | independent continuant |
Definitions |
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])
A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
|
Type | http://www.w3.org/2002/07/owl#Class |
All Properties
definition | 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]) A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. |
---|---|
label | independent continuant
|
prefLabel | independent continuant
|
has associated axiom(fol) | (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]
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
|
has associated axiom(nl) | 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])
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])
|
isDefinedBy | |
BFO OWL specification label | ic
|
prefixIRI | BFO:0000004
|
subClassOf | |
imported from | |
type | |
example of usage |
a leg
an orchestra.
a molecule
an organism
the bottom right portion of a human torso
the interior of your mouth
an atom
a chair
a spatial region
a heart
See more
See less
|
BFO CLIF specification label | IndependentContinuant
|
Add comment
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |
- Problem retrieving properties:
Notes
Filter:
Add NCBO Web Widgets to your site for OCVDAE
Widget type | Widget demonstration |
---|---|
|
Step 2: Follow the Instructions
For more help visit NCBO Widget Wiki |
|
Example 1 (start typing the class name to get its full URI)
Example 2 (get the ID for a class) Example 3 (get the preferred name for a class) Step 2: Follow the Instructions
For more help visit NCBO Widget Wiki |
|
Step 2: Follow the InstructionsCopy the code below and paste it to your HTML page <iframe frameborder="0" src="/widgets/visualization?ontology=OCVDAE&class=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FUBERON_0007237&apikey=YOUR_API_KEY"></iframe> For more help visit NCBO Widget Wiki |
|
Step 2: Follow the InstructionsCopy the code below and paste it to your HTML page <link rel="stylesheet" type="text/css" href="/widgets/jquery.ncbo.tree.css"> <script src="/widgets/jquery.ncbo.tree-2.0.2.js"></script> <div id="widget_tree"></div> var widget_tree = $("#widget_tree").NCBOTree({ apikey: "YOUR_API_KEY", ontology: "OCVDAE" }); You can also view a detailed demonstration For more help visit NCBO Widget Wiki |