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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14643-14646
No TPTP formula. May not be expressible in strict first order. Merge.kif 14635-14642
No TPTP formula. May not be expressible in strict first order. Merge.kif 14634-14634 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 8312-8312 Alkaloid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9129-9129 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9133-9133 Antigen is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1229-1229 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 1316-1316 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 8961-8961 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 14828-14828 Hormone is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8944-8944 Medicine is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14648-14648 Nutrient is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8966-8966 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 1721-1721 Pyridostigmine bromide is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8290-8290 Steroid is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8955-8955 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 "生物活性物质" is the printable form of biologically active substance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 691-691 "biologically active substance" is the printable form of biologically active substance in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 681-681 "substance biologique active" is the printable form of biologically active substance in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 212-212 "jEvika rUpa se kriyaashIla padaartha" is the printable form of biologically active substance in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 213-213 "SostanzaBiologicamenteAttiva" is the printable form of biologically active substance in italian language

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 1419-1419 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 863-863 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 882-882 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 8327-8334
No TPTP formula. May not be expressible in strict first order. WMD.kif 989-999
No TPTP formula. May not be expressible in strict first order. Merge.kif 11236-11244
No TPTP formula. May not be expressible in strict first order. Merge.kif 10369-10374


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners