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 8847-8848
(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 8846-8846 医学生物活性物质subclass

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


(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 11893-11893 AntiInflammatory医学subclass
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 765-765 AntiViralMedicine医学subclass
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9279-9279 Antipsychotic医学subclass
(subclass Pill Medicine) Mid-level-ontology.kif 8857-8857 Pill医学subclass
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9451-9451 ProtonPumpInhibitor医学subclass
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 11741-11741 激素TSH医学subclass
(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 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 8889-8899
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (instrument ?P ?M))))
Mid-level-ontology.kif 8850-8855

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10159-10165
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 7474-7481
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))
Mid-level-ontology.kif 8882-8887
(=>
    (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 11925-11934


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