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, 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, Cataflam, Catapres...

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 13663-13670
No TPTP formula. May not be expressible in strict first order. Merge.kif 13662-13662 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 7490-7490 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8273-8273 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8277-8277 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1279-1279 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 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 8105-8105 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 13823-13823 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8088-8088 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13672-13672 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8110-8110 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 1771-1771 Pyridostigmine bromide is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7468-7468 Steroid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8099-8099 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1225-1225

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1469-1469 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 905-905 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 924-924 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. WMD.kif 818-835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7505-7512
No TPTP formula. May not be expressible in strict first order. WMD.kif 1031-1041
No TPTP formula. May not be expressible in strict first order. Merge.kif 10693-10701
No TPTP formula. May not be expressible in strict first order. Merge.kif 9888-9893


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