Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Surgery TherapeuticProcess) | Merge.kif 12541-12541 | Surgery is a subclass of therapeutic process |
| (documentation Surgery EnglishLanguage "Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess.") | Merge.kif 12542-12543 | Surgery is a subclass of therapeutic process |
| (externalImage Surgery "http://articulatesoftware.com/SUMOpictures/medical/ cartoons/ surgery.png") | pictureList.kif 760-760 | Surgery is a subclass of therapeutic process |
| appearance as argument number 2 |
|
|
| (subclass Circumision Surgery) | Mid-level-ontology.kif 23298-23298 | Circumision is a subclass of surgery |
| (subclass Cricothyroidotomy Surgery) | Medicine.kif 720-720 | Cricothyrotomy is a subclass of surgery |
| (subclass Septoplasty Surgery) | Medicine.kif 4446-4446 | Septoplasty is a subclass of surgery |
| (subclass OrganTransplant Surgery) | Medicine.kif 4648-4648 | Transplant is a subclass of surgery |
| (subclass Terfenadine Surgery) | Medicine.kif 4674-4674 | Seldane is a subclass of surgery |
| (termFormat EnglishLanguage Surgery "surgery") | english_format.kif 1539-1539 | Seldane is a subclass of surgery |
| 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 12545-12554 | If X is an instance of surgery and Y is a patient of X, then there exists Z such that Z is an instance of cutting, Y is an instance of animal, Y is a patient of Z, and Z is a subprocess of X |
| (=> (and (instance ?S Surgery) (patient ?S ?E) (instance ?E Eyeball) (part ?E ?H) (instance ?H Human)) (modalAttribute (holdsDuring (ImmediateFutureFn (WhenFn ?S)) (attribute ?H MechanicalAnisocoria)) Possibility)) |
emotion.kif 1086-1097 | If X is an instance of surgery, Y is a patient of X, Y is an instance of eye ball, Y is a part of Z, and Z is an instance of human, then the statement mechanical anisocoria is an attribute of Z holds during immediately after the time of existence of X has the modal force of possibility |
|
