No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3605-3605 |
Adalimumab est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4744-4744 |
Adderall est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6392-6392 |
Analgesic est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1021-1021 |
Anesthesia est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12416-12416 |
AntiInflammatory est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1254-1254 |
AntiViralMedicine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4835-4835 |
Anticoagulant est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9711-9711 |
Antipsychotic est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3312-3312 |
Antiseizure est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4669-4669 |
BetaBlocker est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4349-4349 |
Crisaborole est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4705-4705 |
Desloratadine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4595-4595 |
Immunosuppressive est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4883-4883 |
Ivabradine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3349-3349 |
Lamotrigine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3966-3966 |
Lisdexamfetamine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6194-6194 |
Morphine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4956-4956 |
Nizatidine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5076-5076 |
Ondansetron est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9246-9246 |
Pill est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9883-9883 |
ProtonPumpInhibitor est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3245-3245 |
Singulair est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3899-3899 |
Sulfasalazine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12262-12262 |
ThyroidStimulatingHormone est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1041-1041 |
TranexamicAcid est une sous-classe de Medicine |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |