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


(documentation BiologicallyActiveSubstance ChineseLanguage "这是一种能够对 Organism 的结构 或功能造成变化 Substance。这个 Class 包括 用于治疗、诊断、预防或分析正常和异常身体功能的 Substance。这个 Class 也包括在身体自然出现和为了治病处方的 Substance。最后 BiologicallyActiveSubstance 包括 Nutrient、大多被滥用的药品和因为有毒所有需有特别处理的媒介。") Merge.kif 14780-14783
(documentation BiologicallyActiveSubstance EnglishLanguage "A Substance that is capable of inducing a change in the structure or functioning of an Organism. This Class includes Substances used in the treatment, diagnosis, prevention or analysis of normal and abnormal body function. This Class also includes Substances that occur naturally in the body and are administered therapeutically. Finally, BiologicallyActiveSubstance includes Nutrients, most drugs of abuse, and agents that require special handling because of their toxicity.") Merge.kif 14772-14779
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14771-14771 Biologically active substance is a subclass of substance

appearance as argument number 2
-------------------------


(subclass Alkaloid BiologicallyActiveSubstance) Mid-level-ontology.kif 8324-8324 Alkaloid is a subclass of biologically active substance
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9141-9141 Antibiotic is a subclass of biologically active substance
(subclass Antigen BiologicallyActiveSubstance) Mid-level-ontology.kif 9145-9145 Antigen is a subclass of biologically active substance
(subclass Atropine BiologicallyActiveSubstance) WMD.kif 1229-1229 Atropine is a subclass of biologically active substance
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 Biochemical agent is a subclass of biologically active substance
(subclass CSGas BiologicallyActiveSubstance) MilitaryDevices.kif 1316-1316 CS gas is a subclass of biologically active substance
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 441-441 Chemical agent is a subclass of biologically active substance
(subclass ControlledSubstance BiologicallyActiveSubstance) Economy.kif 4153-4153 Controlled substance is a subclass of biologically active substance
(subclass Depressant BiologicallyActiveSubstance) Mid-level-ontology.kif 8973-8973 Depressant is a subclass of biologically active substance
(subclass Dimercaprol BiologicallyActiveSubstance) WMD.kif 508-508 Dimercaprol is a subclass of biologically active substance
(subclass Hormone BiologicallyActiveSubstance) Merge.kif 14965-14965 Hormone is a subclass of biologically active substance
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 8956-8956 Medicine is a subclass of biologically active substance
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14785-14785 Nutrient is a subclass of biologically active substance
(subclass Opium BiologicallyActiveSubstance) Mid-level-ontology.kif 8978-8978 Opium is a subclass of biologically active substance
(subclass Pyrethrum BiologicallyActiveSubstance) Economy.kif 4199-4199 Pyrethrum is a subclass of biologically active substance
(subclass PyridostigmineBromide BiologicallyActiveSubstance) WMD.kif 1721-1721 Pyridostigmine bromide is a subclass of biologically active substance
(subclass Steroid BiologicallyActiveSubstance) Mid-level-ontology.kif 8302-8302 Steroid is a subclass of biologically active substance
(subclass Stimulant BiologicallyActiveSubstance) Mid-level-ontology.kif 8967-8967 Stimulant is a subclass of biologically active substance
(subclass Toxin BiologicallyActiveSubstance) WMD.kif 160-160 Toxin is a subclass of biologically active substance
(termFormat ChineseLanguage BiologicallyActiveSubstance "生物活性物质") chinese_format.kif 1004-1004 "生物活性物质" is the printable form of biologically active substance in ChineseLanguage
(termFormat EnglishLanguage BiologicallyActiveSubstance "biologically active substance") english_format.kif 1083-1083 "biologically active substance" is the printable form of biologically active substance in english language
(termFormat JapaneseLanguage BiologicallyActiveSubstance "生物活性物質") english_format.kif 1084-1084 "生物活性物質" is the printable form of biologically active substance in japanese language

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


(domain sideEffect 1 BiologicallyActiveSubstance) WMD.kif 1419-1419 The number 1 argument of side effect is an instance of biologically active substance
(domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) WMD.kif 863-863 The number 2 argument of biochemical agent antidote is a subclass of biologically active substance
(domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) WMD.kif 882-882 The number 2 argument of disease treatment is a subclass of biologically active substance

antecedent
-------------------------


(=>
    (and
        (instance ?DAMAGE Damaging)
        (instrument ?DAMAGE ?SUBSTANCE)
        (instance ?SUBSTANCE BiologicallyActiveSubstance))
    (instance ?SUBSTANCE Toxin))
WMD.kif 180-185

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?P Drugged))
    (holdsDuring ?T
        (exists (?B)
            (and
                (instance ?B BiologicallyActiveSubstance)
                (part ?B ?P)))))
Mid-level-ontology.kif 8339-8346
(=>
    (instance ?DISEASE VaccinatableDisease)
    (exists (?VACCINE)
        (and
            (instance ?VACCINE BiologicallyActiveSubstance)
            (=>
                (and
                    (instance ?PUT Putting)
                    (destination ?PUT ?HUMAN)
                    (instance ?HUMAN Human))
                (holdsDuring
                    (FutureFn
                        (WhenFn ?PUT))
                    (not
                        (attribute ?HUMAN ?DISEASE)))))))
WMD.kif 989-999
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 11374-11382
(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10507-10512


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