|
|
   Anesthesia
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Anesthesia EnglishLanguage "The BiologicallyActiveSubstance used in Anesthetizing.") | Medicine.kif 1022-1023 | |
| (subclass Anesthesia Medicine) | Medicine.kif 1021-1021 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Anesthesia "anesthesia") | Medicine.kif 1024-1024 |
| antecedent |
|
|
| (=> (instance ?A Anesthesia) (hasPurpose ?A (exists (?P) (and (instance ?P Anesthetizing) (resource ?P ?A))))) |
Medicine.kif 1033-1039 |
| consequent |
|
|
| (=> (instance ?A Anesthetizing) (exists (?DRUG) (and (instance ?DRUG Anesthesia) (resource ?DRUB ?A)))) |
Medicine.kif 1026-1031 |
|
|
|