Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BiologicallyActiveSubstance(biologically active substance) |  | 5-hydroxytryptamine, ACE_inhibitor, APC, Acapulco_gold, Activase, Acular, Adam, Adapin, Advil, Aflaxen, Agent_Orange, Alar, Aldomet, Aleve, Alkeran, Alupent, Amytal, Anaprox, Ansaid, Antabuse, Apresoline, Argyrol, Atabrine, Atarax, Ativan, Atromid-S, Atrovent, Bayer, Benzedrine, Blocadren, Bordeaux_mixture, Brevibloc, BuSpar, Bufferin, Butazolidin, CN_gas, Calan, Capoten, Carafate, Cardizem, Cataflam, Catapres, Clinoril, Clioquinol, Clomid, Cordarone, Corgard, Coumadin, Cox-2_inhibitor, Cuprimine... |
| appearance as argument number 1 |
|
|
| (subclass BiologicallyActiveSubstance Substance) | Merge.kif 14983-14983 | Biologically active substance is a subclass of substance |
| (documentation BiologicallyActiveSubstance EnglishLanguage "A Substance that is capable of inducing a change in the structure or functioning of an Organism. This Class includes Substances used in the treatment, diagnosis, prevention or analysis of normal and abnormal body function. This Class also includes Substances that occur naturally in the body and are administered therapeutically. Finally, BiologicallyActiveSubstance includes Nutrients, most drugs of abuse, and agents that require special handling because of their toxicity.") | Merge.kif 14984-14991 | Biologically active substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass pathologyTreatment 2 BiologicallyActiveSubstance) | Mid-level-ontology.kif 11378-11378 | The number 2 argument of pathology treatment is a subclass of biologically active substance |
| (domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) | WMD.kif 909-909 | The number 2 argument of biochemical agent antidote is a subclass of biologically active substance |
| (domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) | WMD.kif 928-928 | The number 2 argument of disease treatment is a subclass of biologically active substance |
| (domainSubclass sideEffect 1 BiologicallyActiveSubstance) | WMD.kif 1535-1535 | The number 1 argument of side effect is a subclass of biologically active substance |
| (domainSubclass pathologicSideEffect 1 BiologicallyActiveSubstance) | WMD.kif 1553-1553 | The number 1 argument of pathologic side effect is a subclass of biologically active substance |
| antecedent |
|
|
| (=> (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance)) (instance ?SUBSTANCE Toxin)) |
WMD.kif 174-179 | If X is an instance of damaging, Y is an instrument for X, and Y is an instance of biologically active substance, then Y is an instance of toxin |
| consequent |
|
|
|