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 14694-14701
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14693-14693 子類 BiologicallyActiveSubstance and Substance

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


(subclass AdenosineTriphosphate BiologicallyActiveSubstance) Mid-level-ontology.kif 10100-10100 子類 AdenosineTriphosphate and BiologicallyActiveSubstance
(subclass Alkaloid BiologicallyActiveSubstance) Mid-level-ontology.kif 8643-8643 子類 生物鹼 and BiologicallyActiveSubstance
(subclass Antacid BiologicallyActiveSubstance) Mid-level-ontology.kif 9827-9827 子類 Antacid and BiologicallyActiveSubstance
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9666-9666 子類 抗生素 and BiologicallyActiveSubstance
(subclass Antidepressant BiologicallyActiveSubstance) Mid-level-ontology.kif 9689-9689 子類 Antidepressant and BiologicallyActiveSubstance
(subclass Antidiuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 10047-10047 子類 Antidiuretic and BiologicallyActiveSubstance
(subclass Antigen BiologicallyActiveSubstance) Mid-level-ontology.kif 9796-9796 子類 抗原 and BiologicallyActiveSubstance
(subclass Antihistamine BiologicallyActiveSubstance) Mid-level-ontology.kif 9812-9812 子類 Antihistamine and BiologicallyActiveSubstance
(subclass Antiparasitic BiologicallyActiveSubstance) Mid-level-ontology.kif 9677-9677 子類 Antiparasitic and BiologicallyActiveSubstance
(subclass Atropine BiologicallyActiveSubstance) WMD.kif 1328-1328 子類 阿托品 and BiologicallyActiveSubstance
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 子類 生化劑 and BiologicallyActiveSubstance
(subclass CSGas BiologicallyActiveSubstance) MilitaryDevices.kif 1317-1317 子類 CS氣 and BiologicallyActiveSubstance
(subclass Carnitine BiologicallyActiveSubstance) Medicine.kif 4291-4291 子類 Carnitine and BiologicallyActiveSubstance
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 子類 化學劑 and BiologicallyActiveSubstance
(subclass ControlledSubstance BiologicallyActiveSubstance) Economy.kif 4792-4792 子類 受控物質 and BiologicallyActiveSubstance
(subclass Depressant BiologicallyActiveSubstance) Mid-level-ontology.kif 9337-9337 子類 降凝劑 and BiologicallyActiveSubstance
(subclass Dimercaprol BiologicallyActiveSubstance) WMD.kif 513-513 子類 二巰基丙醇 and BiologicallyActiveSubstance
(subclass Diuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 9995-9995 子類 Diuretic and BiologicallyActiveSubstance
(subclass Fentanyl BiologicallyActiveSubstance) Medicine.kif 6193-6193 子類 Fentanyl and BiologicallyActiveSubstance
(subclass Hormone BiologicallyActiveSubstance) Merge.kif 14857-14857 子類 Hormone and BiologicallyActiveSubstance
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 9234-9234 子類 醫學 and BiologicallyActiveSubstance
(subclass MoodStabilizer BiologicallyActiveSubstance) Mid-level-ontology.kif 9759-9759 子類 MoodStabilizer and BiologicallyActiveSubstance
(subclass Morphine BiologicallyActiveSubstance) Medicine.kif 6170-6170 子類 Morphine and BiologicallyActiveSubstance
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14703-14703 子類 Nutrient and BiologicallyActiveSubstance
(subclass Opium BiologicallyActiveSubstance) Mid-level-ontology.kif 9342-9342 子類 鴉片 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 914-914 域子類 生化劑解毒劑, 2 and BiologicallyActiveSubstance
(domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) WMD.kif 933-933 域子類 疾病治療, 2 and BiologicallyActiveSubstance
(domainSubclass pathologicSideEffect 1 BiologicallyActiveSubstance) WMD.kif 1557-1557 域子類 pathologicSideEffect, 1 and BiologicallyActiveSubstance
(domainSubclass pathologyTreatment 2 BiologicallyActiveSubstance) Mid-level-ontology.kif 9932-9932 域子類 pathologyTreatment, 2 and BiologicallyActiveSubstance
(domainSubclass sideEffect 1 BiologicallyActiveSubstance) WMD.kif 1539-1539 域子類 副作用, 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 8659-8666
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 11460-11468
(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10494-10499


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