appearance as argument number 1 |
![]() |
(documentation Injuring ChineseLanguage "导致外伤性的创伤或伤害。因为 Injuring 不可能不对生物 的某些物理功能造成伤害,所以它属于 BiologicalProcess 的子类别。") | chinese_format.kif 2925-2926 | |
(documentation Injuring EnglishLanguage "The process of creating a traumatic wound or injury. Since Injuring is not possible without some biologic function of the organism being injured, it is a subclass of BiologicalProcess.") | Merge.kif 9849-9851 | |
(subclass Injuring Damaging) | Merge.kif 9847-9847 | Injuring is a subclass of damaging |
(subclass Injuring PathologicProcess) | Merge.kif 9846-9846 | Injuring is a subclass of pathologic process |
appearance as argument number 2 |
![]() |
(subclass Poisoning Injuring) | Merge.kif 9869-9869 | Poisoning is a subclass of injuring |
(termFormat ChineseLanguage Injuring "受伤") | chinese_format.kif 1089-1089 | |
(termFormat EnglishLanguage Injuring "injuring") | english_format.kif 1394-1394 |
antecedent |
![]() |
(<=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM))))) |
Merge.kif 9860-9867 | A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process |
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT)))) |
Merge.kif 9853-9858 |
|
consequent |
![]() |
![]() |
![]() |