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 9454-9455
(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 9453-9453

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


(subclass Adalimumab Medicine) Medicine.kif 3593-3593
(subclass Adderall Medicine) Medicine.kif 4732-4732
(subclass Analgesic Medicine) Medicine.kif 6376-6376
(subclass Anesthesia Medicine) Medicine.kif 1009-1009
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 12634-12634
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1255-1255
(subclass Anticoagulant Medicine) Medicine.kif 4823-4823
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9929-9929
(subclass Antiseizure Medicine) Medicine.kif 3300-3300
(subclass BetaBlocker Medicine) Medicine.kif 4657-4657
(subclass Crisaborole Medicine) Medicine.kif 4337-4337
(subclass Desloratadine Medicine) Medicine.kif 4693-4693
(subclass Immunosuppressive Medicine) Medicine.kif 4583-4583
(subclass Ivabradine Medicine) Medicine.kif 4871-4871
(subclass Lamotrigine Medicine) Medicine.kif 3337-3337
(subclass Lisdexamfetamine Medicine) Medicine.kif 3954-3954
(subclass Morphine Medicine) Medicine.kif 6177-6177
(subclass Nizatidine Medicine) Medicine.kif 4944-4944
(subclass Ondansetron Medicine) Medicine.kif 5064-5064
(subclass Pill Medicine) Mid-level-ontology.kif 9464-9464
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 10101-10101
(subclass Singulair Medicine) Medicine.kif 3233-3233
(subclass Sulfasalazine Medicine) Medicine.kif 3887-3887
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 12480-12480
(subclass TranexamicAcid Medicine) Medicine.kif 1029-1029

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

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 9496-9506
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))
Mid-level-ontology.kif 9457-9462

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10298-10304
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 8023-8030
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC
                (instance ?DC Medicine) ?O))))
Medicine.kif 3077-3084
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))
Mid-level-ontology.kif 9489-9494
(=>
    (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 12666-12675


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