Sigma KB Term Intersection

(=> (and (capability ?PC ?ROLE ?MV) (subclass ?PC Shooting)) (exists (?WEAPON) (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (capability ?PC ?ROLE ?WEAPON))))	MilitaryDevices.kif 48-56	Wenn Object ist faehig %n{nicht}, in der Rolle CaseRole Process zu tun und Process ist eine teilkategorie von Shooting, dann es gibt Object um Object ist ein fall von Weapon %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist faehig %n{nicht}, in der Rolle CaseRole ** Process zu tun
(=> (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	Wenn weaponCarryingCapability MilitaryVehicle, Weapon and PositiveInteger und Object ist ein fall von Weapon %n{nicht} und Object ist faehig %n{nicht}, in der Rolle CaseRole Process zu tun und Process ist eine teilkategorie von Shooting oder Process ist eine teilkategorie von Damaging, dann MilitaryVehicle ist faehig %n{nicht}, in der Rolle CaseRole ** Process zu tun
(subclass Shooting Impelling)	Merge.kif 11474-11474	Shooting ist eine teilkategorie von Impelling