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 3085-3088 | |
(subclass DrugCandidate Substance) | Medicine.kif 3083-3083 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage DrugCandidate "drug candidate") | Medicine.kif 3084-3084 |
antecedent |
![]() |
(=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O)))) |
Medicine.kif 3090-3097 |
![]() |
![]() |