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 10583-10584
(externalImage Medicine "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Drug_ampoule_JPN.jpg") pictureList.kif 4776-4776
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 10582-10582

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


(subclass Adalimumab Medicine) Medicine.kif 3608-3608
(subclass Adderall Medicine) Medicine.kif 4751-4751
(subclass Analgesic Medicine) Medicine.kif 6410-6410
(subclass Anesthesia Medicine) Medicine.kif 1013-1013
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 13765-13765
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1262-1262
(subclass Anticoagulant Medicine) Medicine.kif 4842-4842
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 11058-11058
(subclass Antiseizure Medicine) Medicine.kif 3313-3313
(subclass BetaBlocker Medicine) Medicine.kif 4676-4676
(subclass Crisaborole Medicine) Medicine.kif 4356-4356
(subclass Desloratadine Medicine) Medicine.kif 4712-4712
(subclass Immunosuppressive Medicine) Medicine.kif 4602-4602
(subclass Ivabradine Medicine) Medicine.kif 4890-4890
(subclass Lamotrigine Medicine) Medicine.kif 3350-3350
(subclass Lisdexamfetamine Medicine) Medicine.kif 3969-3969
(subclass Morphine Medicine) Medicine.kif 6208-6208
(subclass Nizatidine Medicine) Medicine.kif 4963-4963
(subclass Ondansetron Medicine) Medicine.kif 5083-5083
(subclass Pill Medicine) Mid-level-ontology.kif 10593-10593
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 11230-11230
(subclass Singulair Medicine) Medicine.kif 3246-3246
(subclass Sulfasalazine Medicine) Medicine.kif 3902-3902
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 13611-13611
(subclass TranexamicAcid Medicine) Medicine.kif 1033-1033

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

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 10625-10635
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))
Mid-level-ontology.kif 10586-10591

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10377-10383
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 8991-8998
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC
                (instance ?DC Medicine) ?O))))
Medicine.kif 3090-3097
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))
Mid-level-ontology.kif 10618-10623
(=>
    (instance ?TA TopicalApplication)
    (exists (?M ?A ?S)
        (and
            (instance ?M Medicine)
            (instance ?A Animal)
            (instance ?S Skin)
            (part ?S ?A)
            (objectTransferred ?TA ?M)
            (destination ?TA ?S))))
Mid-level-ontology.kif 13797-13806


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