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 9208-9209
(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 9207-9207

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


(subclass Adalimumab Medicine) Medicine.kif 3605-3605
(subclass Adderall Medicine) Medicine.kif 4744-4744
(subclass Anesthesia Medicine) Medicine.kif 1021-1021
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 12388-12388
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1254-1254
(subclass Anticoagulant Medicine) Medicine.kif 4835-4835
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9683-9683
(subclass Antiseizure Medicine) Medicine.kif 3312-3312
(subclass BetaBlocker Medicine) Medicine.kif 4669-4669
(subclass Crisaborole Medicine) Medicine.kif 4349-4349
(subclass Desloratadine Medicine) Medicine.kif 4705-4705
(subclass Immunosuppressive Medicine) Medicine.kif 4595-4595
(subclass Ivabradine Medicine) Medicine.kif 4883-4883
(subclass Lamotrigine Medicine) Medicine.kif 3349-3349
(subclass Lisdexamfetamine Medicine) Medicine.kif 3966-3966
(subclass Morphine Medicine) Medicine.kif 6194-6194
(subclass Nizatidine Medicine) Medicine.kif 4956-4956
(subclass Ondansetron Medicine) Medicine.kif 5076-5076
(subclass Pill Medicine) Mid-level-ontology.kif 9218-9218
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9855-9855
(subclass Singulair Medicine) Medicine.kif 3245-3245
(subclass Sulfasalazine Medicine) Medicine.kif 3899-3899
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 12234-12234
(subclass TranexamicAcid Medicine) Medicine.kif 1041-1041
(subclass Upadacitinib Medicine) Medicine.kif 5537-5537

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 9612-9612

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 9250-9260
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))
Mid-level-ontology.kif 9211-9216

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 7777-7784
(=>
    (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 9243-9248
(=>
    (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 12420-12429


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