DrugCandidate(drug candidate) |
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 3084-3087 | |
(subclass DrugCandidate Substance) | Medicine.kif 3082-3082 | Drug candidate is a subclass of substance |
appearance as argument number 2 |
(termFormat EnglishLanguage DrugCandidate "drug candidate") | Medicine.kif 3083-3083 |
antecedent |
(=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O)))) |
Medicine.kif 3089-3096 |
|