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 8851-8852
(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 8850-8850

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


(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 11897-11897
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 765-765
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9283-9283
(subclass Pill Medicine) Mid-level-ontology.kif 8861-8861
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9455-9455
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 11745-11745
(termFormat ChineseLanguage Medicine "医学") domainEnglishFormat.kif 36858-36858
(termFormat ChineseTraditionalLanguage Medicine "醫學") domainEnglishFormat.kif 36857-36857
(termFormat EnglishLanguage Medicine "medicine") domainEnglishFormat.kif 36856-36856

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


(domainSubclass medicine 1 Medicine) VirusProteinAndCellPart.kif 742-742

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 8893-8903
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (instrument ?P ?M))))
Mid-level-ontology.kif 8854-8859

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10165-10171
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 7478-7485
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))
Mid-level-ontology.kif 8886-8891
(=>
    (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 11929-11938


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