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 14672-14679
(subclass BiologicallyActiveSubstance Substance) Merge.kif 14671-14671 BiologicallyActiveSubstance ist eine teilkategorie von Substance

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


(subclass AdenosineTriphosphate BiologicallyActiveSubstance) Mid-level-ontology.kif 10101-10101 AdenosineTriphosphate ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Alkaloid BiologicallyActiveSubstance) Mid-level-ontology.kif 8644-8644 Alkaloid ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Antacid BiologicallyActiveSubstance) Mid-level-ontology.kif 9828-9828 Antacid ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9667-9667 Antibiotic ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Antidepressant BiologicallyActiveSubstance) Mid-level-ontology.kif 9690-9690 Antidepressant ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Antidiuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 10048-10048 Antidiuretic ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Antigen BiologicallyActiveSubstance) Mid-level-ontology.kif 9797-9797 Antigen ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Antihistamine BiologicallyActiveSubstance) Mid-level-ontology.kif 9813-9813 Antihistamine ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Antiparasitic BiologicallyActiveSubstance) Mid-level-ontology.kif 9678-9678 Antiparasitic ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Atropine BiologicallyActiveSubstance) WMD.kif 1328-1328 Atropine ist eine teilkategorie von BiologicallyActiveSubstance
(subclass BiochemicalAgent BiologicallyActiveSubstance) WMD.kif 80-80 BiochemicalAgent ist eine teilkategorie von BiologicallyActiveSubstance
(subclass CSGas BiologicallyActiveSubstance) MilitaryDevices.kif 1317-1317 CSGas ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Carnitine BiologicallyActiveSubstance) Medicine.kif 4291-4291 Carnitine ist eine teilkategorie von BiologicallyActiveSubstance
(subclass ChemicalAgent BiologicallyActiveSubstance) WMD.kif 446-446 ChemicalAgent ist eine teilkategorie von BiologicallyActiveSubstance
(subclass ControlledSubstance BiologicallyActiveSubstance) Economy.kif 4792-4792 ControlledSubstance ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Depressant BiologicallyActiveSubstance) Mid-level-ontology.kif 9338-9338 Depressant ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Dimercaprol BiologicallyActiveSubstance) WMD.kif 513-513 Dimercaprol ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Diuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 9996-9996 Diuretic ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Fentanyl BiologicallyActiveSubstance) Medicine.kif 6193-6193 Fentanyl ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Hormone BiologicallyActiveSubstance) Merge.kif 14835-14835 Hormone ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 9235-9235 Medicine ist eine teilkategorie von BiologicallyActiveSubstance
(subclass MoodStabilizer BiologicallyActiveSubstance) Mid-level-ontology.kif 9760-9760 MoodStabilizer ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Morphine BiologicallyActiveSubstance) Medicine.kif 6170-6170 Morphine ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14681-14681 Nutrient ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Opium BiologicallyActiveSubstance) Mid-level-ontology.kif 9343-9343 Opium ist eine teilkategorie von 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 Die Zahl 2 Argument von biochemicalAgentAntidote ist eine teilkategorie von BiologicallyActiveSubstance %n{nicht}
(domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) WMD.kif 933-933 Die Zahl 2 Argument von diseaseMedicine ist eine teilkategorie von BiologicallyActiveSubstance %n{nicht}
(domainSubclass pathologicSideEffect 1 BiologicallyActiveSubstance) WMD.kif 1557-1557 Die Zahl 1 Argument von pathologicSideEffect ist eine teilkategorie von BiologicallyActiveSubstance %n{nicht}
(domainSubclass pathologyTreatment 2 BiologicallyActiveSubstance) Mid-level-ontology.kif 9933-9933 Die Zahl 2 Argument von pathologyTreatment ist eine teilkategorie von BiologicallyActiveSubstance %n{nicht}
(domainSubclass sideEffect 1 BiologicallyActiveSubstance) WMD.kif 1539-1539 Die Zahl 1 Argument von sideEffect ist eine teilkategorie von BiologicallyActiveSubstance %n{nicht}

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 8660-8667
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))
Merge.kif 11438-11446
(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10472-10477


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