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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicallyActiveSubstance

Sigma KEE - BiologicallyActiveSubstance
BiologicallyActiveSubstance(SostanzaBiologicamenteAttiva)

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 14718-14725
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14717-14717 SostanzaBiologicamenteAttiva è una sottoclasse di Sostanza

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


(subclass AdenosineTriphosphate BiologicallyActiveSubstance) Mid-level-ontology.kif 10128-10128 AdenosineTriphosphate è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Alkaloid BiologicallyActiveSubstance) Mid-level-ontology.kif 8671-8671 Alkaloid è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Antacid BiologicallyActiveSubstance) Mid-level-ontology.kif 9855-9855 Antacid è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9694-9694 Antibiotic è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Antidepressant BiologicallyActiveSubstance) Mid-level-ontology.kif 9717-9717 Antidepressant è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Antidiuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 10075-10075 Antidiuretic è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Antigen BiologicallyActiveSubstance) Mid-level-ontology.kif 9824-9824 Antigen è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Antihistamine BiologicallyActiveSubstance) Mid-level-ontology.kif 9840-9840 Antihistamine è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Antiparasitic BiologicallyActiveSubstance) Mid-level-ontology.kif 9705-9705 Antiparasitic è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Atropine BiologicallyActiveSubstance) WMD.kif 1328-1328 Atropine è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 BiochemicalAgent è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass CSGas BiologicallyActiveSubstance) MilitaryDevices.kif 1317-1317 CSGas è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Carnitine BiologicallyActiveSubstance) Medicine.kif 4291-4291 Carnitine è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 ChemicalAgent è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass ControlledSubstance BiologicallyActiveSubstance) Economy.kif 4792-4792 ControlledSubstance è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Depressant BiologicallyActiveSubstance) Mid-level-ontology.kif 9365-9365 Depressant è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Dimercaprol BiologicallyActiveSubstance) WMD.kif 513-513 Dimercaprol è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Diuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 10023-10023 Diuretic è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Fentanyl BiologicallyActiveSubstance) Medicine.kif 6193-6193 Fentanyl è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Hormone BiologicallyActiveSubstance) Merge.kif 14881-14881 Ormone è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 9262-9262 Medicine è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass MoodStabilizer BiologicallyActiveSubstance) Mid-level-ontology.kif 9787-9787 MoodStabilizer è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Morphine BiologicallyActiveSubstance) Medicine.kif 6170-6170 Morphine è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14727-14727 Nutriente è una sottoclasse di SostanzaBiologicamenteAttiva
(subclass Opium BiologicallyActiveSubstance) Mid-level-ontology.kif 9370-9370 Opium è una sottoclasse di SostanzaBiologicamenteAttiva

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 Il numero 2 argomento biochemicalAgentAntidote è una sottoclasse diSostanzaBiologicamenteAttiva
(domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) WMD.kif 933-933 Il numero 2 argomento diseaseMedicine è una sottoclasse diSostanzaBiologicamenteAttiva
(domainSubclass pathologicSideEffect 1 BiologicallyActiveSubstance) WMD.kif 1557-1557 Il numero 1 argomento pathologicSideEffect è una sottoclasse diSostanzaBiologicamenteAttiva
(domainSubclass pathologyTreatment 2 BiologicallyActiveSubstance) Mid-level-ontology.kif 9960-9960 Il numero 2 argomento pathologyTreatment è una sottoclasse diSostanzaBiologicamenteAttiva
(domainSubclass sideEffect 1 BiologicallyActiveSubstance) WMD.kif 1539-1539 Il numero 1 argomento sideEffect è una sottoclasse diSostanzaBiologicamenteAttiva

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 8687-8694
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 11484-11492
(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10506-10511


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