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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Medicine

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

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


(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 12287-12287
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 741-741
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9663-9663
(subclass Pill Medicine) Mid-level-ontology.kif 9213-9213
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9835-9835
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 12133-12133
(termFormat ChineseLanguage Medicine "医学") domainEnglishFormat.kif 36884-36884
(termFormat ChineseTraditionalLanguage Medicine "醫學") domainEnglishFormat.kif 36883-36883
(termFormat EnglishLanguage Medicine "medicine") domainEnglishFormat.kif 36882-36882

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


(domainSubclass medicine 1 Medicine) Mid-level-ontology.kif 9592-9592

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 9245-9255
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (instrument ?P ?M))))
Mid-level-ontology.kif 9206-9211

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10236-10242
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 7772-7779
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))
Mid-level-ontology.kif 9238-9243
(=>
    (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 12319-12328


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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