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, 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 13648-13655
No TPTP formula. May not be expressible in strict first order. Merge.kif 13647-13647 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 8308-8308 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9125-9125 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9129-9129 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1246-1246 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 8957-8957 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 13808-13808 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8940-8940 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13657-13657 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8962-8962 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 1738-1738 Pyridostigmine bromide is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8286-8286 Steroid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8951-8951 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 1436-1436 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 872-872 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 891-891 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 8323-8330
No TPTP formula. May not be expressible in strict first order. WMD.kif 998-1008
No TPTP formula. May not be expressible in strict first order. Merge.kif 10678-10686
No TPTP formula. May not be expressible in strict first order. Merge.kif 9873-9878


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