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


KB Term:  Term intersection
English Word: 

  vesselDisplacement

 Sigma KEE - Firearm
Firearm(firearm)
firearm, piece, riot_gun, small-arm, smoothbore

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


(subclass Firearm Gun) Mid-level-ontology.kif 1919-1919 Firearm is a subclass of gun
(partition Firearm Longgun Handgun) Mid-level-ontology.kif 1920-1920 Firearm is exhaustively partitioned into long gun and hand gun
(documentation Firearm EnglishLanguage "A Gun that is small enough to be carried and fired by a single Human.") Mid-level-ontology.kif 1921-1922 Firearm is exhaustively partitioned into long gun and hand gun
(defaultMinimumLength Firearm
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 994-994 The minimum expected length of firearm is 8 inch(s)
(defaultMaximumLength Firearm
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 995-995 The maximum expected length of firearm is 60 inch(s)
(defaultMinimumMeasure Firearm
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 996-996 The minimum expected value of firearm is 3 pound mass(s)
(defaultMaximumMeasure Firearm
    (MeasureFn 30 PoundMass))		 DimensioningAmenities.kif 997-997 The maximum expected value of firearm is 30 pound mass(s)
(externalImage Firearm "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ Colt_Python.JPG/ 250px_Colt_Python.JPG") pictureList.kif 1114-1114 The maximum expected value of firearm is 30 pound mass(s)

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


(subclass Longgun Firearm) Mid-level-ontology.kif 1960-1960 Long gun is a subclass of firearm
(subclass Handgun Firearm) Mid-level-ontology.kif 2040-2040 Hand gun is a subclass of firearm
(termFormat EnglishLanguage Firearm "firearm") domainEnglishFormat.kif 23908-23908 Hand gun is a subclass of firearm
(termFormat ChineseTraditionalLanguage Firearm "火器") domainEnglishFormat.kif 23909-23909 Hand gun is a subclass of firearm
(termFormat ChineseLanguage Firearm "火器") domainEnglishFormat.kif 23910-23910 Hand gun is a subclass of firearm

appearance as argument number 3
-------------------------


(partition Gun ArtilleryGun Firearm) Mid-level-ontology.kif 1263-1263 Gun is exhaustively partitioned into artillery gun and firearm

antecedent
-------------------------


(=>
    (instance ?GUN Firearm)
    (hasPurpose ?GUN
        (exists (?A ?CARRY ?C)
            (and
                (instance ?A Human)
                (subclass ?CARRY Carrying)
                (instance ?C ?CARRY)
                (objectTransferred ?C ?GUN)
                (capability ?CARRY instrument ?A)
                (not
                    (exists (?A2)
                        (and
                            (instance ?A2 Human)
                            (not
                                (equal ?A ?A2))
                            (instrument ?C ?A2))))))))		 Mid-level-ontology.kif 1924-1940 If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of carrying (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a instrument (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an instrument for W
(=>
    (instance ?GUN Firearm)
    (hasPurpose ?GUN
        (exists (?A ?SHOOT ?S)
            (and
                (instance ?A Human)
                (subclass ?SHOOT Shooting)
                (instance ?S ?SHOOT)
                (objectTransferred ?S ?GUN)
                (capability ?SHOOT agent ?A)
                (not
                    (exists (?A2)
                        (and
                            (instance ?A2 Human)
                            (not
                                (equal ?A ?A2))
                            (agent ?S ?A2))))))))		 Mid-level-ontology.kif 1942-1958 If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of shooting (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a agent (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an agent of W

consequent
-------------------------


(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC LandMine))
            (possesses ?AB ?AC))))		 Military.kif 951-960 If X is an instance of infantry unit, then there exists Y such that Y is an instance of automatic gun, Y is an instance of firearm, Y is an instance of mortar gun, or Y is an instance of land mine and X possesses Y


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