TreeView Knowledge Base Browser

appearance as argument number 1

(subclass GunCylinder Artifact)	Mid-level-ontology.kif 2143-2143	Gun cylinder is a subclass of artifact
(documentation GunCylinder EnglishLanguage "A GunCylinder is the cylindrical, rotating part of a RevolverGun containing multiple chambers, each of which is capable of holding a single cartridge. The cylinder rotates (revolves) around a central axis in the revolver's action to sequentially align each individual chamber with the barrel bore for repeated firing.[Wikipedia]")	Mid-level-ontology.kif 2144-2147	Gun cylinder is a subclass of artifact
(partTypes GunCylinder RevolverGun)	Mid-level-ontology.kif 2150-2150	Every gun cylinder is a part of a revolver gun

appearance as argument number 2

(typicalPart GunChamber GunCylinder)	Mid-level-ontology.kif 1362-1362	A gun chamber is typically a part of a gun cylinder
(relatedInternalConcept GunMuzzle GunCylinder)	Mid-level-ontology.kif 1394-1394	Gun muzzle is internally related to gun cylinder
(relatedInternalConcept GunBore GunCylinder)	Mid-level-ontology.kif 1426-1426	Gun bore is internally related to gun cylinder
(termFormat EnglishLanguage GunCylinder "gun cylinder")	Mid-level-ontology.kif 2148-2148	Gun bore is internally related to gun cylinder
(relatedInternalConcept GunChamber GunCylinder)	Mid-level-ontology.kif 2149-2149	Gun chamber is internally related to gun cylinder

antecedent

(=>
    (and
        (instance ?GUN RevolverGun)
        (part ?CY ?GUN)
        (instance ?CY GunCylinder))
    (modalAttribute
        (exists (?COLL)
            (and
                (part ?COLL ?CY)
                (instance ?COLL CollectionOfObjects)
                (memberType ?COLL GunChamber)
                (memberCount ?COLL 6))) Likely))

Mid-level-ontology.kif 2130-2141

If X is an instance of revolver gun, Y is a part of X, and Y is an instance of gun cylinder, then the statement there exists Z such that Z is a part of Y, Z is an instance of collection, gun chamber is a member type of Z, and 6 is a member count of Z has the modal force of likely

consequent

(=>
    (instance ?GUN RevolverGun)
    (exists (?CY ?COLL ?C ?BC)
        (and
            (part ?CY ?GUN)
            (instance ?CY GunCylinder)
            (part ?COLL ?CY)
            (instance ?COLL CollectionOfObjects)
            (member ?C ?COLL)
            (instance ?C GunChamber)
            (contains ?C ?BC)
            (instance ?BC BulletCartridge)
            (not
                (exists (?BC2)
                    (and
                        (instance ?BC2 BulletCartridge)
                        (not
                            (equal ?BC ?BC2))
                        (contains ?C ?BC2)))))))

Mid-level-ontology.kif 2110-2128

If X is an instance of revolver gun, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a part of X (3) Y is an instance of gun cylinder (4) Z is a part of Y (5) Z is an instance of collection (6) W is a member of Z (7) W is an instance of gun chamber (8) W contains V (9) V is an instance of bullet cartridge (10) there doesn't exist U such that U is an instance of bullet cartridge (11) equal V (12) U (13) W contains U

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

KB Term:			Term intersection

English Word: