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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicallyActiveSubstance
BiologicallyActiveSubstance

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


(documentation BiologicallyActiveSubstance ChineseLanguage "这是一种能够对 Organism 的结构 或功能造成变化 Substance。这个 Class 包括 用于治疗、诊断、预防或分析正常和异常身体功能的 Substance。这个 Class 也包括在身体自然出现和为了治病处方的 Substance。最后 BiologicallyActiveSubstance 包括 Nutrient、大多被滥用的药品和因为有毒所有需有特别处理的媒介。") chinese_format.kif 3443-3446
(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 13628-13635
(subclass BiologicallyActiveSubstance Substance) Merge.kif 13627-13627

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


(subclass Alkaloid BiologicallyActiveSubstance) Mid-level-ontology.kif 8306-8306
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9123-9123
(subclass Antigen BiologicallyActiveSubstance) Mid-level-ontology.kif 9127-9127
(subclass Atropine BiologicallyActiveSubstance) WMD.kif 1246-1246
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80
(subclass CSGas BiologicallyActiveSubstance) MilitaryDevices.kif 1317-1317
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 441-441
(subclass ControlledSubstance BiologicallyActiveSubstance) Economy.kif 4153-4153
(subclass Depressant BiologicallyActiveSubstance) Mid-level-ontology.kif 8955-8955
(subclass Dimercaprol BiologicallyActiveSubstance) WMD.kif 508-508
(subclass Hormone BiologicallyActiveSubstance) Merge.kif 13788-13788
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 8938-8938
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 13637-13637
(subclass Opium BiologicallyActiveSubstance) Mid-level-ontology.kif 8960-8960
(subclass Pyrethrum BiologicallyActiveSubstance) Economy.kif 4199-4199
(subclass PyridostigmineBromide BiologicallyActiveSubstance) WMD.kif 1738-1738
(subclass Steroid BiologicallyActiveSubstance) Mid-level-ontology.kif 8284-8284
(subclass Stimulant BiologicallyActiveSubstance) Mid-level-ontology.kif 8949-8949
(subclass Toxin BiologicallyActiveSubstance) WMD.kif 160-160
(termFormat ChineseLanguage BiologicallyActiveSubstance "生物活性物质") chinese_format.kif 1004-1004
(termFormat EnglishLanguage BiologicallyActiveSubstance "biologically active substance") english_format.kif 1225-1225

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


(domain sideEffect 1 BiologicallyActiveSubstance) WMD.kif 1436-1436
(domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) WMD.kif 872-872
(domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) WMD.kif 891-891

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 8321-8328
(=>
    (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 998-1008
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 10658-10666
(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 9853-9858


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