|
|
   Surgery
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Surgery ChineseLanguage "任何涉及在 Animal 身上开刀的 TherapeuticProcess， 而动物就这是 TherapeuticProcess 的 patient。") | chinese_format.kif 3151-3152 | |
| (documentation Surgery EnglishLanguage "Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess.") | Merge.kif 12256-12257 | |
| (externalImage Surgery "http://articulatesoftware.com/SUMOpictures/medical/ cartoons/ surgery.png") | pictureList.kif 760-760 | |
| (subclass Surgery TherapeuticProcess) | Merge.kif 12255-12255 | 手術 は 治療経過 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Circumision Surgery) | Mid-level-ontology.kif 21056-21056 | Circumision は 手術 の subclass では %n |
| (subclass Cricothyroidotomy Surgery) | Medicine.kif 742-742 | Cricothyroidotomy は 手術 の subclass では %n |
| (subclass OrganTransplant Surgery) | Medicine.kif 4627-4627 | OrganTransplant は 手術 の subclass では %n |
| (subclass Septoplasty Surgery) | Medicine.kif 4425-4425 | Septoplasty は 手術 の subclass では %n |
| (subclass Terfenadine Surgery) | Medicine.kif 4653-4653 | Terfenadine は 手術 の subclass では %n |
| (termFormat ChineseLanguage Surgery "外科手术") | chinese_format.kif 1159-1159 | |
| (termFormat EnglishLanguage Surgery "surgery") | english_format.kif 1535-1535 | |
| (termFormat FrenchLanguage Surgery "chirurgie") | french_format.kif 837-837 | |
| (termFormat Hindi Surgery "shalya chikitsaa") | terms-hindi.txt 369-369 | |
| (termFormat ItalianLanguage Surgery "InterventoChirurgico") | terms-it.txt 372-372 | |
| (termFormat JapaneseLanguage Surgery "手術") | japanese_format.kif 2521-2521 | |
| (termFormat PortugueseLanguage Surgery "Cirurgia") | portuguese_format.kif 789-789 | |
| (termFormat cb Surgery "pagpaopera") | terms-cb.txt 374-374 | |
| (termFormat cz Surgery "surgery") | terms-cz.txt 408-408 | |
| (termFormat ro Surgery "interventie chirurgicalã") | relations-ro.kif 858-858 | |
| (termFormat tg Surgery "pag-oopera") | terms-tg.txt 373-373 |
| antecedent |
|
|
| (=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 12259-12268 |
|
|
|
