Injuring
|
|
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 10429-10431 | |
(documentation Injuring JapaneseLanguage "外傷性創傷を作成するプロセスまたは損傷。 Injuring は生物学的機能なしでは不可能なので負傷している生物の BiologicalProcess のサブクラスである。") | japanese_format.kif 1675-1676 | |
(subclass Injuring Damaging) | Merge.kif 10427-10427 | 子類 Injuring and Damaging |
(subclass Injuring PathologicProcess) | Merge.kif 10426-10426 | 子類 Injuring and PathologicProcess |
appearance as argument number 2 |
(subclass Poisoning Injuring) | Merge.kif 10456-10456 | 子類 Poisoning and Injuring |
(termFormat ChineseLanguage Injuring "受伤") | chinese_format.kif 1089-1089 | |
(termFormat EnglishLanguage Injuring "injuring") | english_format.kif 1389-1389 | |
(termFormat FrenchLanguage Injuring "blesser") | french_format.kif 767-767 | |
(termFormat Hindi Injuring "chota") | terms-hindi.txt 299-299 | |
(termFormat ItalianLanguage Injuring "Trauma") | terms-it.txt 302-302 | |
(termFormat JapaneseLanguage Injuring "けが") | japanese_format.kif 2451-2451 | |
(termFormat PortugueseLanguage Injuring "Ferir") | portuguese_format.kif 719-719 | |
(termFormat cb Injuring "pagsamad") | terms-cb.txt 304-304 | |
(termFormat cz Injuring "injuring") | terms-cz.txt 338-338 | |
(termFormat ro Injuring "vãtãmare") | relations-ro.kif 788-788 | |
(termFormat tg Injuring "sinusugatan") | terms-tg.txt 303-303 |
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 10440-10447 | |
(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT)))) |
Merge.kif 10433-10438 |
consequent |