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 14672-14679
No TPTP formula. May not be expressible in strict first order. Merge.kif 14671-14671 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 10101-10101 ATP is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8644-8644 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9828-9828 Antacid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9667-9667 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9690-9690 Anti-depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10048-10048 Antidiuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9797-9797 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9813-9813 Antihistamine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9678-9678 Anti-parasitic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1328-1328 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. Medicine.kif 4291-4291 Carnitine 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 4792-4792 Controlled substance is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9338-9338 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 9996-9996 Diuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6193-6193 Sublimaze is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14835-14835 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9235-9235 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9760-9760 Mood stabilizer is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6170-6170 Morphine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14681-14681 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9343-9343 Opium 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 914-914 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 933-933 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 1557-1557 The number 1 argument of pathologic side effect is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9933-9933 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 1539-1539 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 8660-8667
No TPTP formula. May not be expressible in strict first order. Merge.kif 11438-11446
No TPTP formula. May not be expressible in strict first order. Merge.kif 10472-10477


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