| BiologicallyActiveSubstance(biologically active substance) | | , مَادَّة فَعَّالَة بَيُولُوجِيَّاً, 5-hydroxytryptamine, ACE_inhibitor, APC, Acapulco_gold, Actifed, Activase, Acular, Adam, Adapin, Advil, Aflaxen, Agent_Orange, Alar, Aldactone, Aldomet, Aleve, Alka-seltzer, Alkeran, Alupent, Amytal, Anacin_III, Anaprox, Ansaid, Antabuse, Antivert, Apresoline, Argyrol, Atabrine, Atarax, Ativan, Atromid-S, Atrovent, Bayer, Benadryl, Benzedrine, Blocadren, Bordeaux_mixture, Brevibloc, Brioschi, Bromo-seltzer, BuSpar, Bufferin, Butazolidin, CN_gas, Calan, Capoten, Carafate, Cardizem... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14643-14646 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14635-14642 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14634-14634 | Biologically active substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8312-8312 | Alkaloid is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9129-9129 | Antibiotic is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9133-9133 | Antigen is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1229-1229 | Atropine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | Biochemical agent is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1316-1316 | CS gas is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 441-441 | Chemical agent is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4153-4153 | Controlled substance is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8961-8961 | Depressant is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 508-508 | Dimercaprol is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14828-14828 | Hormone is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8944-8944 | Medicine is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14648-14648 | Nutrient is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8966-8966 | Opium is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4199-4199 | Pyrethrum is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1721-1721 | Pyridostigmine bromide is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8290-8290 | Steroid is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8955-8955 | Stimulant is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 160-160 | Toxin is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1004-1004 | "生物活性物质" is the printable form of biologically active substance in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 691-691 | "biologically active substance" is the printable form of biologically active substance in english language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 681-681 | "substance biologique active" is the printable form of biologically active substance in french language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 212-212 | "jEvika rUpa se kriyaashIla padaartha" is the printable form of biologically active substance in Hindi |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 213-213 | "SostanzaBiologicamenteAttiva" is the printable form of biologically active substance in italian language |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1419-1419 | The number 1 argument of side effect is an instance of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 863-863 | The number 2 argument of biochemical agent antidote is a subclass of biologically active substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 882-882 | The number 2 argument of disease treatment is a subclass of biologically active substance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 180-185 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8327-8334 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 989-999 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11236-11244 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10369-10374 |
|
|
|
|