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 9263-9264
(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 9262-9262 Medicine è una sottoclasse di SostanzaBiologicamenteAttiva

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


(subclass Adalimumab Medicine) Medicine.kif 3605-3605 Adalimumab è una sottoclasse di Medicine
(subclass Adderall Medicine) Medicine.kif 4744-4744 Adderall è una sottoclasse di Medicine
(subclass Analgesic Medicine) Medicine.kif 6392-6392 Analgesic è una sottoclasse di Medicine
(subclass Anesthesia Medicine) Medicine.kif 1021-1021 Anesthesia è una sottoclasse di Medicine
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 12443-12443 AntiInflammatory è una sottoclasse di Medicine
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1255-1255 AntiViralMedicine è una sottoclasse di Medicine
(subclass Anticoagulant Medicine) Medicine.kif 4835-4835 Anticoagulant è una sottoclasse di Medicine
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9738-9738 Antipsychotic è una sottoclasse di Medicine
(subclass Antiseizure Medicine) Medicine.kif 3312-3312 Antiseizure è una sottoclasse di Medicine
(subclass BetaBlocker Medicine) Medicine.kif 4669-4669 BetaBlocker è una sottoclasse di Medicine
(subclass Crisaborole Medicine) Medicine.kif 4349-4349 Crisaborole è una sottoclasse di Medicine
(subclass Desloratadine Medicine) Medicine.kif 4705-4705 Desloratadine è una sottoclasse di Medicine
(subclass Immunosuppressive Medicine) Medicine.kif 4595-4595 Immunosuppressive è una sottoclasse di Medicine
(subclass Ivabradine Medicine) Medicine.kif 4883-4883 Ivabradine è una sottoclasse di Medicine
(subclass Lamotrigine Medicine) Medicine.kif 3349-3349 Lamotrigine è una sottoclasse di Medicine
(subclass Lisdexamfetamine Medicine) Medicine.kif 3966-3966 Lisdexamfetamine è una sottoclasse di Medicine
(subclass Morphine Medicine) Medicine.kif 6194-6194 Morphine è una sottoclasse di Medicine
(subclass Nizatidine Medicine) Medicine.kif 4956-4956 Nizatidine è una sottoclasse di Medicine
(subclass Ondansetron Medicine) Medicine.kif 5076-5076 Ondansetron è una sottoclasse di Medicine
(subclass Pill Medicine) Mid-level-ontology.kif 9273-9273 Pill è una sottoclasse di Medicine
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9910-9910 ProtonPumpInhibitor è una sottoclasse di Medicine
(subclass Singulair Medicine) Medicine.kif 3245-3245 Singulair è una sottoclasse di Medicine
(subclass Sulfasalazine Medicine) Medicine.kif 3899-3899 Sulfasalazine è una sottoclasse di Medicine
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 12289-12289 ThyroidStimulatingHormone è una sottoclasse di Medicine
(subclass TranexamicAcid Medicine) Medicine.kif 1041-1041 TranexamicAcid è una sottoclasse di Medicine

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 9667-9667 Il numero 1 argomento medicine è una sottoclasse diMedicine

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 9305-9315
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))		 Mid-level-ontology.kif 9266-9271

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10288-10294
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))		 Mid-level-ontology.kif 7832-7839
(=>
    (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 9298-9303
(=>
    (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 12475-12484


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