Injuring(blesser) | ![]() |
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 10552-10554 | |
(documentation Injuring JapaneseLanguage "外傷性創傷を作成するプロセスまたは損傷。 Injuring は生物学的機能なしでは不可能なので負傷している生物の BiologicalProcess のサブクラスである。") | japanese_format.kif 1675-1676 | |
(subclass Injuring Damaging) | Merge.kif 10550-10550 | Blesser est une sous-classe de endommager |
(subclass Injuring PathologicProcess) | Merge.kif 10549-10549 | Blesser est une sous-classe de processus pathologique |
appearance as argument number 2 |
![]() |
(subclass Poisoning Injuring) | Merge.kif 10579-10579 | Empoisoner est une sous-classe de blesser |
(termFormat ChineseLanguage Injuring "受伤") | chinese_format.kif 1089-1089 | Empoisoner est une sous-classe de blesser |
(termFormat EnglishLanguage Injuring "injuring") | english_format.kif 1389-1389 | Empoisoner est une sous-classe de blesser |
(termFormat FrenchLanguage Injuring "blesser") | french_format.kif 767-767 | Empoisoner est une sous-classe de blesser |
(termFormat Hindi Injuring "chota") | terms-hindi.txt 299-299 | Empoisoner est une sous-classe de blesser |
(termFormat ItalianLanguage Injuring "Trauma") | terms-it.txt 302-302 | Empoisoner est une sous-classe de blesser |
(termFormat JapaneseLanguage Injuring "けが") | japanese_format.kif 2451-2451 | Empoisoner est une sous-classe de blesser |
(termFormat PortugueseLanguage Injuring "Ferir") | portuguese_format.kif 719-719 | Empoisoner est une sous-classe de blesser |
(termFormat cb Injuring "pagsamad") | terms-cb.txt 304-304 | Empoisoner est une sous-classe de blesser |
(termFormat cz Injuring "injuring") | terms-cz.txt 338-338 | Empoisoner est une sous-classe de blesser |
(termFormat de Injuring "Verletzen") | terms-de.txt 597-597 | Empoisoner est une sous-classe de blesser |
(termFormat ro Injuring "vãtãmare") | relations-ro.kif 788-788 | Empoisoner est une sous-classe de blesser |
(termFormat tg Injuring "sinusugatan") | terms-tg.txt 303-303 | Empoisoner est une sous-classe de blesser |
antecedent |
![]() |
(=> (and (instance ?I Injuring) (experiencer ?I ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (attribute ?A Injury))) |
Medicine.kif 104-111 | |
(=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM))))) |
Merge.kif 10563-10570 | |
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT)))) |
Merge.kif 10556-10561 |
consequent |
![]() |
![]() |
![]() |