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. | Medicine.kif 5093-5093 | Zofran est une sous-classe de Ondansetron |
![]() |