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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Medicine
Medicine(医学)

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


(documentation Medicine EnglishLanguage "Any BiologicallyActiveSubstance which has a therapeutic effect under certain conditions.") Mid-level-ontology.kif 9236-9237
(externalImage Medicine "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Drug_ampoule_JPN.jpg") pictureList.kif 4777-4777
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 9235-9235 医学生物活性物质subclass

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


(subclass Adalimumab Medicine) Medicine.kif 3605-3605 Adalimumab医学subclass
(subclass Adderall Medicine) Medicine.kif 4744-4744 Adderall医学subclass
(subclass Analgesic Medicine) Medicine.kif 6392-6392 Analgesic医学subclass
(subclass Anesthesia Medicine) Medicine.kif 1021-1021 Anesthesia医学subclass
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 12416-12416 AntiInflammatory医学subclass
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1254-1254 AntiViralMedicine医学subclass
(subclass Anticoagulant Medicine) Medicine.kif 4835-4835 Anticoagulant医学subclass
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9711-9711 Antipsychotic医学subclass
(subclass Antiseizure Medicine) Medicine.kif 3312-3312 Antiseizure医学subclass
(subclass BetaBlocker Medicine) Medicine.kif 4669-4669 BetaBlocker医学subclass
(subclass Crisaborole Medicine) Medicine.kif 4349-4349 Crisaborole医学subclass
(subclass Desloratadine Medicine) Medicine.kif 4705-4705 Desloratadine医学subclass
(subclass Immunosuppressive Medicine) Medicine.kif 4595-4595 Immunosuppressive医学subclass
(subclass Ivabradine Medicine) Medicine.kif 4883-4883 Ivabradine医学subclass
(subclass Lamotrigine Medicine) Medicine.kif 3349-3349 Lamotrigine医学subclass
(subclass Lisdexamfetamine Medicine) Medicine.kif 3966-3966 Lisdexamfetamine医学subclass
(subclass Morphine Medicine) Medicine.kif 6194-6194 Morphine医学subclass
(subclass Nizatidine Medicine) Medicine.kif 4956-4956 Nizatidine医学subclass
(subclass Ondansetron Medicine) Medicine.kif 5076-5076 Ondansetron医学subclass
(subclass Pill Medicine) Mid-level-ontology.kif 9246-9246 Pill医学subclass
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9883-9883 ProtonPumpInhibitor医学subclass
(subclass Singulair Medicine) Medicine.kif 3245-3245 Singulair医学subclass
(subclass Sulfasalazine Medicine) Medicine.kif 3899-3899 Sulfasalazine医学subclass
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 12262-12262 激素TSH医学subclass
(subclass TranexamicAcid Medicine) Medicine.kif 1041-1041 TranexamicAcid医学subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass medicine 1 Medicine) Mid-level-ontology.kif 9640-9640 medicine 的 1 数量 是 医学subclass

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


(=>
    (and
        (instance ?P Prescription)
        (instance ?M Medicine)
        (refers ?P ?M))
    (exists (?PHARM ?S)
        (and
            (instance ?S Selling)
            (objectTransferred ?S ?M)
            (agent ?S ?PHARM)
            (attribute ?S Pharmacist))))
Mid-level-ontology.kif 9278-9288
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))
Mid-level-ontology.kif 9239-9244

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10252-10258
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 7805-7812
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC
                (instance ?DC Medicine) ?O))))
Medicine.kif 3089-3096
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))
Mid-level-ontology.kif 9271-9276
(=>
    (instance ?TA TopicalApplication)
    (exists (?M ?A ?S)
        (and
            (instance ?M Medicine)
            (instance ?A Animal)
            (instance ?S Skin)
            (part ?S ?A)
            (objectTransferred ?TA ?M)
            (destination ?M ?S))))
Mid-level-ontology.kif 12448-12457


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