Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  GunTrigger

 Sigma KEE - GunTrigger
GunTrigger(gun trigger)gun_trigger, trigger

appearance as argument number 1
-------------------------


(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1629-1629 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 1630-1631 Gun trigger is a subclass of engineering component
(typicalPart GunTrigger Gun) Mid-level-ontology.kif 1632-1632 A gun trigger is typically a part of a gun
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1633-1633 A gun typically has a part gun trigger

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage GunTrigger "gun trigger") domainEnglishFormat.kif 27104-27104
(termFormat ChineseTraditionalLanguage GunTrigger "槍扳機") domainEnglishFormat.kif 27105-27105
(termFormat ChineseLanguage GunTrigger "枪扳机") domainEnglishFormat.kif 27106-27106

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 1872-1883 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 1855-1870 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners