Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OrganTransplant(transplant) |
| appearance as argument number 1 |
|
| (subclass OrganTransplant Surgery) | Medicine.kif 4648-4648 | Transplant is a subclass of surgery |
| (documentation OrganTransplant EnglishLanguage "Taking an Organ from a live or dead donor for implantation in a recipient who has lost use of that corresponding organ due to disease or injury.") | Medicine.kif 4649-4651 | Transplant is a subclass of surgery |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage OrganTransplant "organ transplant") | Medicine.kif 4652-4652 | |
| (termFormat EnglishLanguage OrganTransplant "transplant") | Medicine.kif 4653-4653 |
| antecedent |
|
|
| (=> (instance ?OT OrganTransplant) (exists (?H ?O) (and (instance ?H Animal) (instance ?O Organ) (needs ?H ?O)))) |
Medicine.kif 4655-4661 | If X is an instance of transplant, then there exist Y, Z such that Y is an instance of animal, Z is an instance of organ, and Y needs Z |
| (=> (instance ?OT OrganTransplant) (exists (?H ?O ?P) (and (instance ?H Animal) (instance ?O Organ) (instance ?P Putting) (subProcess ?P ?OT) (objectTransferred ?P ?O) (destination ?P ?H)))) |
Medicine.kif 4663-4672 | If X is an instance of transplant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) Z is an instance of organ (4) W is an instance of putting (5) W is a subprocess of X (6) the object transferred in W is Z (7) W ends up at Y |
|