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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicallyActiveSubstance
BiologicallyActiveSubstance(biologically active substance)5-hydroxytryptamine, ACE_inhibitor, APC, Acapulco_gold, Activase, Acular, Adam, Adapin, Advil, Aflaxen, Agent_Orange, Alar, Aldomet, Aleve, Alkeran, Alupent, Amytal, Anacin_III, Anaprox, Ansaid, Antabuse, Apresoline, Argyrol, Atabrine, Atarax, Ativan, Atromid-S, Atrovent, Bayer, Benzedrine, Blocadren, Bordeaux_mixture, Brevibloc, BuSpar, Bufferin, Butazolidin, CN_gas, Calan, Capoten, Carafate, Cardizem, Cataflam, Catapres, Clinoril, Clioquinol, Clomid, Cordarone, Corgard, Coumadin, Cox-2_inhibitor...

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


s__documentation(s__BiologicallyActiveSubstance,s__ChineseLanguage,'"这是一种能够对 Organism 的结构 或功能造成变化 Substance。这个 Class 包括 用于治疗、诊断、预防或分析正常和异常身体功能的 Substance。这个 Class 也包括在身体自然出现和为了治病处方的 Substance。最后 BiologicallyActiveSubstance 包括 Nutrient、大多被滥用的药品和因为有毒所有需有特别处理的媒介。"')

chinese_format.kif 3443-3446
s__documentation(s__BiologicallyActiveSubstance,s__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 13978-13985
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Substance,s__SetOrClass)

s__subclass(s__BiologicallyActiveSubstance,s__Substance)

Merge.kif 13977-13977 Biologically active substance is a subclass of substance

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


s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__AdenosineTriphosphate,s__BiologicallyActiveSubstance)

s__instance(s__AdenosineTriphosphate,s__SetOrClass)

Mid-level-ontology.kif 9331-9331 ATP is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Alkaloid,s__BiologicallyActiveSubstance)

s__instance(s__Alkaloid,s__SetOrClass)

Mid-level-ontology.kif 8135-8135 Alkaloid is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Antacid,s__SetOrClass)

s__subclass(s__Antacid,s__BiologicallyActiveSubstance)

Mid-level-ontology.kif 9099-9099 Antacid is a subclass of biologically active substance
s__instance(s__Antibiotic,s__SetOrClass)

s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Antibiotic,s__BiologicallyActiveSubstance)

Mid-level-ontology.kif 8938-8938 Antibiotic is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Antidepressant,s__BiologicallyActiveSubstance)

s__instance(s__Antidepressant,s__SetOrClass)

Mid-level-ontology.kif 8961-8961 Anti-depressant is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Antidiuretic,s__SetOrClass)

s__subclass(s__Antidiuretic,s__BiologicallyActiveSubstance)

Mid-level-ontology.kif 9278-9278 Antidiuretic is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Antigen,s__SetOrClass)

s__subclass(s__Antigen,s__BiologicallyActiveSubstance)

Mid-level-ontology.kif 9068-9068 Antigen is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Antihistamine,s__BiologicallyActiveSubstance)

s__instance(s__Antihistamine,s__SetOrClass)

Mid-level-ontology.kif 9084-9084 Antihistamine is a subclass of biologically active substance
s__subclass(s__Antiparasitic,s__BiologicallyActiveSubstance)

s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Antiparasitic,s__SetOrClass)

Mid-level-ontology.kif 8949-8949 Anti-parasitic is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Atropine,s__SetOrClass)

s__subclass(s__Atropine,s__BiologicallyActiveSubstance)

WMD.kif 1313-1313 Atropine is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__BiochemicalAgent,s__SetOrClass)

s__subclass(s__BiochemicalAgent,s__BiologicallyActiveSubstance)

WMD.kif 80-80 Biochemical agent is a subclass of biologically active substance
s__subclass(s__CSGas,s__BiologicallyActiveSubstance)

s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__CSGas,s__SetOrClass)

MilitaryDevices.kif 1317-1317 CS gas is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__ChemicalAgent,s__BiologicallyActiveSubstance)

s__instance(s__ChemicalAgent,s__SetOrClass)

WMD.kif 441-441 Chemical agent is a subclass of biologically active substance
s__subclass(s__ControlledSubstance,s__BiologicallyActiveSubstance)

s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__ControlledSubstance,s__SetOrClass)

Economy.kif 4153-4153 Controlled substance is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Depressant,s__BiologicallyActiveSubstance)

s__instance(s__Depressant,s__SetOrClass)

Mid-level-ontology.kif 8770-8770 Depressant is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Dimercaprol,s__SetOrClass)

s__subclass(s__Dimercaprol,s__BiologicallyActiveSubstance)

WMD.kif 508-508 Dimercaprol is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Diuretic,s__BiologicallyActiveSubstance)

s__instance(s__Diuretic,s__SetOrClass)

Mid-level-ontology.kif 9226-9226 Diuretic is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Hormone,s__BiologicallyActiveSubstance)

s__instance(s__Hormone,s__SetOrClass)

Merge.kif 14138-14138 Hormone is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Medicine,s__BiologicallyActiveSubstance)

s__instance(s__Medicine,s__SetOrClass)

Mid-level-ontology.kif 8734-8734 Medicine is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__MoodStabilizer,s__BiologicallyActiveSubstance)

s__instance(s__MoodStabilizer,s__SetOrClass)

Mid-level-ontology.kif 9031-9031 Mood stabilizer is a subclass of biologically active substance
s__subclass(s__Nutrient,s__BiologicallyActiveSubstance)

s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Nutrient,s__SetOrClass)

Merge.kif 13987-13987 Nutrient is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Opium,s__SetOrClass)

s__subclass(s__Opium,s__BiologicallyActiveSubstance)

Mid-level-ontology.kif 8775-8775 Opium is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__Poison,s__BiologicallyActiveSubstance)

s__instance(s__Poison,s__SetOrClass)

Mid-level-ontology.kif 8086-8086 Poison is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__instance(s__Pyrethrum,s__SetOrClass)

s__subclass(s__Pyrethrum,s__BiologicallyActiveSubstance)

Economy.kif 4199-4199 Pyrethrum is a subclass of biologically active substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass)

s__subclass(s__PyridostigmineBromide,s__BiologicallyActiveSubstance)

s__instance(s__PyridostigmineBromide,s__SetOrClass)

WMD.kif 1811-1811 Pyridostigmine bromide is a subclass of biologically active substance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__sideEffect__m,n__1,s__BiologicallyActiveSubstance)

WMD.kif 1509-1509 The number 1 argument of side effect is an instance of biologically active substance
s__domainSubclass(s__biochemicalAgentAntidote__m,n__2,s__BiologicallyActiveSubstance)

WMD.kif 905-905 The number 2 argument of biochemical agent antidote is a subclass of biologically active substance
s__domainSubclass(s__diseaseTreatment__m,n__2,s__BiologicallyActiveSubstance)

WMD.kif 924-924 The number 2 argument of disease treatment is a subclass of biologically active substance
s__domainSubclass(s__pathologyTreatment__m,n__2,s__BiologicallyActiveSubstance)

Mid-level-ontology.kif 9163-9163 The number 2 argument of pathology treatment is a subclass of biologically active substance

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


( ! [V__SUBSTANCE,V__DAMAGE] :
   (((s__instance(V__DAMAGE,s__Damaging) &
         s__instrument(V__DAMAGE,V__SUBSTANCE)
       &
       s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance))
     =>
     (s__instance(V__SUBSTANCE,s__Toxin)))
   )
)

WMD.kif 180-185

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


( ! [V__M1,V__M2,V__NUM1,V__NUM2,V__Y] :
   (((s__instance(V__M1,s__MassMeasure) &
         s__instance(V__M2,s__MassMeasure) &
         s__instance(V__NUM1,s__RealNumber) &
         s__instance(V__NUM2,s__RealNumber) &
         s__instance(V__Y,s__RealNumber))
       =>
       ((((s__MeasureFn(V__Y,s__McgPerKg) = s__PerFn(V__M1,V__M2))
           &
           (V__M1 = s__MeasureFn(V__NUM1,s__MicroFn(s__Gram)))
         &
         (V__M2 = s__MeasureFn(V__NUM2,s__KiloFn(s__Gram))))
     =>
     (( ? [V__I, V__B, V__A] :
         ((s__instance(V__I,s__Ingesting) &
             s__instance(V__B,s__BiologicallyActiveSubstance) &
             s__instance(V__A,s__Organism) &
             s__patient(V__I,V__B)
           &
           s__agent(V__I,V__A)
         &
         s__weight(V__B,V__M1)
       &
       s__weight(V__A,V__M2))))))))
)
)

WMD.kif 818-835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8151-8158
( ! [V__INJECT] :
   ((s__instance(V__INJECT,s__Injecting) =>
       (( ? [V__SUBSTANCE, V__ANIMAL] :
           ((s__patient(V__INJECT,V__SUBSTANCE)
             &
             s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) &
             s__attribute(V__SUBSTANCE,s__Liquid) &
             s__destination(V__INJECT,V__ANIMAL)
           &
           s__instance(V__ANIMAL,s__Animal))))))
)
)

Merge.kif 10911-10919
( ! [V__POISON] :
   ((s__instance(V__POISON,s__Poisoning) =>
       (( ? [V__SUBSTANCE] :
           ((s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) &
               s__instrument(V__POISON,V__SUBSTANCE))))))
   )
)

Merge.kif 10030-10035


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