| GunTrigger(gun trigger) | | gun_trigger, trigger |
| appearance as argument number 1 |
|
|
| (subclass GunTrigger EngineeringComponent) | Mid-level-ontology.kif 1597-1597 | Gun trigger is a subclass of engineering component |
| (documentation GunTrigger EnglishLanguage "The part of the Gun which is pulled in Shooting the Gun.") | Mid-level-ontology.kif 1598-1599 | Gun trigger is a subclass of engineering component |
| (typicalPart GunTrigger Gun) | Mid-level-ontology.kif 1600-1600 | A gun trigger is typically a part of a gun |
| (typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1601-1601 | A gun typically has a part gun trigger |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T GunTrigger) (hasPurpose ?T (exists (?S ?G ?P) (and (instance ?G AutomaticGun) (part ?T ?G) (patient ?P ?T) (instance ?P Pulling) (instance ?S Shooting) (instrument ?S ?G) (causes ?P ?S))))) |
Mid-level-ontology.kif 1821-1832 | If X is an instance of gun trigger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of automatic gun (3) X is a part of Z (4) X is a patient of W (5) W is an instance of pulling (6) Y is an instance of shooting (7) Z is an instrument for Y (8) W causes Y |
| consequent |
|
|
| (=> (instance ?G AutomaticGun) (hasPurpose ?G (exists (?S1 ?S2 ?P ?T) (and (instance ?P Pulling) (instance ?T GunTrigger) (patient ?P ?T) (part ?T ?G) (instance ?S1 Shooting) (instance ?S2 Shooting) (instrument ?S1 ?G) (instrument ?S2 ?G) (not (equal ?S1 ?S2)) (causes ?P ?S1) (causes ?P ?S2))))) |
Mid-level-ontology.kif 1804-1819 | If X is an instance of automatic gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of pulling (3) V is an instance of gun trigger (4) V is a patient of W (5) V is a part of X (6) Y is an instance of shooting (7) Z is an instance of shooting (8) X is an instrument for Y (9) X is an instrument for Z (10) equal Y (11) Z (12) W causes Y (13) W causes Z |
|
|
|