(=> (and (weaponCarryingCapability ?MV ?WC ?COUNT) (instance ?WEAPON ?WC) (capability ?PC ?ROLE ?WEAPON) (or (subclass ?PC Shooting) (subclass ?PC Damaging))) (capability ?PC ?ROLE ?MV)) |
MilitaryDevices.kif 35-43 | |
(=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 18421-18442 | |
(subclass Damaging InternalChange) | Merge.kif 12270-12270 | 損害を与える は 内部変化 の subclass では %n |
(subclass Sabotage Damaging) | MilitaryProcesses.kif 220-220 | Sabotage は 損害を与える の subclass では %n |
(subclass Injuring Damaging) | Merge.kif 10427-10427 | けが は 損害を与える の subclass では %n |
(subclass Destruction Damaging) | Merge.kif 12276-12276 | 破壊 は 損害を与える の subclass では %n |
(subclass Breaking Damaging) | Merge.kif 12498-12498 | Breaking は 損害を与える の subclass では %n |
(subclass ForestDamage Damaging) | Geography.kif 2715-2715 | ForestDamage は 損害を与える の subclass では %n |