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 9235-9236
(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 9234-9234 Medicine生物活性物質subclass では %n

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


(subclass Adalimumab Medicine) Medicine.kif 3605-3605 AdalimumabMedicinesubclass では %n
(subclass Adderall Medicine) Medicine.kif 4744-4744 AdderallMedicinesubclass では %n
(subclass Analgesic Medicine) Medicine.kif 6392-6392 AnalgesicMedicinesubclass では %n
(subclass Anesthesia Medicine) Medicine.kif 1021-1021 AnesthesiaMedicinesubclass では %n
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 12415-12415 AntiInflammatoryMedicinesubclass では %n
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1253-1253 AntiViralMedicineMedicinesubclass では %n
(subclass Anticoagulant Medicine) Medicine.kif 4835-4835 AnticoagulantMedicinesubclass では %n
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9710-9710 AntipsychoticMedicinesubclass では %n
(subclass Antiseizure Medicine) Medicine.kif 3312-3312 AntiseizureMedicinesubclass では %n
(subclass BetaBlocker Medicine) Medicine.kif 4669-4669 BetaBlockerMedicinesubclass では %n
(subclass Crisaborole Medicine) Medicine.kif 4349-4349 CrisaboroleMedicinesubclass では %n
(subclass Desloratadine Medicine) Medicine.kif 4705-4705 DesloratadineMedicinesubclass では %n
(subclass Immunosuppressive Medicine) Medicine.kif 4595-4595 ImmunosuppressiveMedicinesubclass では %n
(subclass Ivabradine Medicine) Medicine.kif 4883-4883 IvabradineMedicinesubclass では %n
(subclass Lamotrigine Medicine) Medicine.kif 3349-3349 LamotrigineMedicinesubclass では %n
(subclass Lisdexamfetamine Medicine) Medicine.kif 3966-3966 LisdexamfetamineMedicinesubclass では %n
(subclass Morphine Medicine) Medicine.kif 6194-6194 MorphineMedicinesubclass では %n
(subclass Nizatidine Medicine) Medicine.kif 4956-4956 NizatidineMedicinesubclass では %n
(subclass Ondansetron Medicine) Medicine.kif 5076-5076 OndansetronMedicinesubclass では %n
(subclass Pill Medicine) Mid-level-ontology.kif 9245-9245 PillMedicinesubclass では %n
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9882-9882 ProtonPumpInhibitorMedicinesubclass では %n
(subclass Singulair Medicine) Medicine.kif 3245-3245 SingulairMedicinesubclass では %n
(subclass Sulfasalazine Medicine) Medicine.kif 3899-3899 SulfasalazineMedicinesubclass では %n
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 12261-12261 ThyroidStimulatingHormoneMedicinesubclass では %n
(subclass TranexamicAcid Medicine) Medicine.kif 1041-1041 TranexamicAcidMedicinesubclass では %n

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 9639-9639 medicine の数値 1 引数は Medicinesubclass では %n

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 9277-9287
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))
Mid-level-ontology.kif 9238-9243

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10274-10280
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 7804-7811
(=>
    (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 9270-9275
(=>
    (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 12447-12456


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