DrugCandidate |
appearance as argument number 1 |
![]() |
(documentation DrugCandidate EnglishLanguage "Any Substance that a Organization, such as a University lab or Corporation is developing and testing, hopes that it will be an effective and approved Medicine.") | Medicine.kif 3072-3075 | |
(subclass DrugCandidate Substance) | Medicine.kif 3070-3070 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage DrugCandidate "drug candidate") | Medicine.kif 3071-3071 |
antecedent |
![]() |
(=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O)))) |
Medicine.kif 3077-3084 |
![]() |
![]() |