![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Opium
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?O Opium) (material Morphine ?O)) |
Medicine.kif 6217-6219 | If X is an instance of opium, then X is made of morphine |
| (=> (instance ?O Opium) (exists (?A) (and (instance ?A Alkaloid) (part ?A ?O)))) |
Medicine.kif 6450-6455 | If X is an instance of opium, then there exists Y such that Y is an instance of alkaloid and Y is a part of X |