| 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 12302-12303 | |
| (externalImage Surgery "http://articulatesoftware.com/SUMOpictures/medical/ cartoons/ surgery.png") | pictureList.kif 760-760 | |
| (subclass Surgery TherapeuticProcess) | Merge.kif 12301-12301 | Surgery is a subclass of therapeutic process |
| appearance as argument number 2 |
|
|
| (subclass Circumision Surgery) | Mid-level-ontology.kif 21083-21083 | Circumision is a subclass of surgery |
| (subclass Cricothyroidotomy Surgery) | Medicine.kif 742-742 | Cricothyrotomy is a subclass of surgery |
| (subclass OrganTransplant Surgery) | Medicine.kif 4627-4627 | Transplant is a subclass of surgery |
| (subclass Septoplasty Surgery) | Medicine.kif 4425-4425 | Septoplasty is a subclass of surgery |
| (subclass Terfenadine Surgery) | Medicine.kif 4653-4653 | Seldane is a subclass of surgery |
| (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 12305-12314 |
|
|
|
|