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

Formal Language: 


KB Term:  Term intersection
English Word: 

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, 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
-------------------------


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 14825-14832
No TPTP formula. May not be expressible in strict first order. Merge.kif 14824-14824 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 11430-11430 ATP is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9850-9850 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11157-11157 Antacid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10996-10996 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11019-11019 Anti-depressant is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11377-11377 Antidiuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11126-11126 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11142-11142 Antihistamine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11007-11007 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. Medicine.kif 4298-4298 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 5132-5132 Controlled substance is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10667-10667 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 11325-11325 Diuretic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6207-6207 Sublimaze is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14988-14988 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10564-10564 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11089-11089 Mood stabilizer is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6187-6187 Morphine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14834-14834 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10672-10672 Opium is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9801-9801 Poison 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 11262-11262 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 9866-9873
No TPTP formula. May not be expressible in strict first order. Merge.kif 11588-11596
No TPTP formula. May not be expressible in strict first order. Merge.kif 10610-10615


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



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