Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DrugCandidate(drug candidate) |
| appearance as argument number 1 |
|
| (subclass DrugCandidate Substance) | Medicine.kif 3088-3088 | Drug candidate is a subclass of substance |
| (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 3090-3093 | Drug candidate is a subclass of substance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DrugCandidate "drug candidate") | Medicine.kif 3089-3089 |
| antecedent |
|
|
| (=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC ?O (instance ?DC Medicine))))) |
Medicine.kif 3095-3102 | If X is an instance of drug candidate, then there exists Y such that Y is an instance of organization and X has the purpose Y for X is an instance of medicine |
|