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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicallyActiveSubstance

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 14411-14418
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14410-14410 subclass BiologicallyActiveSubstance and Substance

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


(subclass AdenosineTriphosphate BiologicallyActiveSubstance) Mid-level-ontology.kif 9673-9673 subclass AdenosineTriphosphate and BiologicallyActiveSubstance
(subclass Alkaloid BiologicallyActiveSubstance) Mid-level-ontology.kif 8251-8251 subclass Alkaloid and BiologicallyActiveSubstance
(subclass Antacid BiologicallyActiveSubstance) Mid-level-ontology.kif 9400-9400 subclass Antacid and BiologicallyActiveSubstance
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9239-9239 subclass Antibiotic and BiologicallyActiveSubstance
(subclass Antidepressant BiologicallyActiveSubstance) Mid-level-ontology.kif 9262-9262 subclass Antidepressant and BiologicallyActiveSubstance
(subclass Antidiuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 9620-9620 subclass Antidiuretic and BiologicallyActiveSubstance
(subclass Antigen BiologicallyActiveSubstance) Mid-level-ontology.kif 9369-9369 subclass Antigen and BiologicallyActiveSubstance
(subclass Antihistamine BiologicallyActiveSubstance) Mid-level-ontology.kif 9385-9385 subclass Antihistamine and BiologicallyActiveSubstance
(subclass Antiparasitic BiologicallyActiveSubstance) Mid-level-ontology.kif 9250-9250 subclass Antiparasitic and BiologicallyActiveSubstance
(subclass Atropine BiologicallyActiveSubstance) WMD.kif 1319-1319 subclass Atropine and BiologicallyActiveSubstance
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 subclass BiochemicalAgent and BiologicallyActiveSubstance
(subclass CSGas BiologicallyActiveSubstance) MilitaryDevices.kif 1317-1317 subclass CSGas and BiologicallyActiveSubstance
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 subclass ChemicalAgent and BiologicallyActiveSubstance
(subclass ControlledSubstance BiologicallyActiveSubstance) Economy.kif 4306-4306 subclass ControlledSubstance and BiologicallyActiveSubstance
(subclass Depressant BiologicallyActiveSubstance) Mid-level-ontology.kif 8953-8953 subclass Depressant and BiologicallyActiveSubstance
(subclass Dimercaprol BiologicallyActiveSubstance) WMD.kif 513-513 subclass Dimercaprol and BiologicallyActiveSubstance
(subclass Diuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 9568-9568 subclass Diuretic and BiologicallyActiveSubstance
(subclass Hormone BiologicallyActiveSubstance) Merge.kif 14571-14571 subclass Hormone and BiologicallyActiveSubstance
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 8850-8850 subclass Medicine and BiologicallyActiveSubstance
(subclass MoodStabilizer BiologicallyActiveSubstance) Mid-level-ontology.kif 9332-9332 subclass MoodStabilizer and BiologicallyActiveSubstance
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14420-14420 subclass Nutrient and BiologicallyActiveSubstance
(subclass Opium BiologicallyActiveSubstance) Mid-level-ontology.kif 8958-8958 subclass Opium and BiologicallyActiveSubstance
(subclass Poison BiologicallyActiveSubstance) Mid-level-ontology.kif 8202-8202 subclass Poison and BiologicallyActiveSubstance
(subclass Pyrethrum BiologicallyActiveSubstance) Economy.kif 4352-4352 subclass Pyrethrum and BiologicallyActiveSubstance
(subclass PyridostigmineBromide BiologicallyActiveSubstance) WMD.kif 1863-1863 subclass PyridostigmineBromide and BiologicallyActiveSubstance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) WMD.kif 910-910 domainSubclass biochemicalAgentAntidote, 2 and BiologicallyActiveSubstance
(domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) WMD.kif 929-929 domainSubclass diseaseTreatment, 2 and BiologicallyActiveSubstance
(domainSubclass pathologicSideEffect 1 BiologicallyActiveSubstance) WMD.kif 1548-1548 domainSubclass pathologicSideEffect, 1 and BiologicallyActiveSubstance
(domainSubclass pathologyTreatment 2 BiologicallyActiveSubstance) Mid-level-ontology.kif 9505-9505 domainSubclass pathologyTreatment, 2 and BiologicallyActiveSubstance
(domainSubclass sideEffect 1 BiologicallyActiveSubstance) WMD.kif 1530-1530 domainSubclass sideEffect, 1 and BiologicallyActiveSubstance

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


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

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


(=>
    (and
        (equal
            (MeasureFn ?Y McgPerKg)
            (PerFn ?M1 ?M2))
        (equal ?M1
            (MeasureFn ?NUM1
                (MicroFn Gram)))
        (equal ?M2
            (MeasureFn ?NUM2
                (KiloFn Gram))))
    (exists (?I ?B ?A)
        (and
            (instance ?I Ingesting)
            (instance ?B BiologicallyActiveSubstance)
            (instance ?A Organism)
            (patient ?I ?B)
            (agent ?I ?A)
            (weight ?B ?M1)
            (weight ?A ?M2))))
WMD.kif 823-840
(=>
    (holdsDuring ?T
        (attribute ?P Drugged))
    (holdsDuring ?T
        (exists (?B)
            (and
                (instance ?B BiologicallyActiveSubstance)
                (part ?B ?P)))))
Mid-level-ontology.kif 8267-8274
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 11277-11285
(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10383-10388


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