Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicallyActiveSubstance

Sigma KEE - BiologicallyActiveSubstance
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, Anacin_III, 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...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3443-3446
No TPTP formula. May not be expressible in strict first order. Merge.kif 14404-14411
No TPTP formula. May not be expressible in strict first order. Merge.kif 14403-14403 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 9669-9669 ATP is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8247-8247 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9396-9396 Antacid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9235-9235 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9258-9258 Anti-depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9616-9616 Antidiuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9365-9365 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9381-9381 Antihistamine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9246-9246 Anti-parasitic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1319-1319 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 1317-1317 CS gas is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 446-446 Chemical agent is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4306-4306 Controlled substance is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8949-8949 Depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 513-513 Dimercaprol is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9564-9564 Diuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14564-14564 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8846-8846 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9328-9328 Mood stabilizer is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14413-14413 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8954-8954 Opium is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8198-8198 Poison is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4352-4352 Pyrethrum is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1863-1863 Pyridostigmine bromide is a subclass of biologically active substance

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 910-910 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 929-929 The number 2 argument of disease treatment is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1548-1548 The number 1 argument of pathologicSideEffect is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9501-9501 The number 2 argument of pathology treatment is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1530-1530 The number 1 argument of side effect 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. WMD.kif 823-840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8263-8270
No TPTP formula. May not be expressible in strict first order. Merge.kif 11271-11279
No TPTP formula. May not be expressible in strict first order. Merge.kif 10377-10382


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners