CartridgeCase - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CartridgeCase EnglishLanguage "the part of a cartridge that holds the bullet")	Mid-level-ontology.kif 1167-1167
(subclass CartridgeCase EngineeringComponent)	Mid-level-ontology.kif 1166-1166	subclass CartridgeCase and EngineeringComponent

appearance as argument number 2

(termFormat EnglishLanguage CartridgeCase "casing")

Mid-level-ontology.kif 1168-1168

antecedent

(=>
    (instance ?CASE CartridgeCase)
    (exists (?CARTRIDGE ?BULLET ?K)
        (and
            (instance ?CARTRIDGE BulletCartridge)
            (instance ?BULLET Bullet)
            (instance ?K Keeping)
            (properPart ?CASE ?CARTRIDGE)
            (properPart ?BULLET ?CARTRIDGE)
            (agent ?K ?CASE)
            (patient ?K ?BULLET))))

Mid-level-ontology.kif 1169-1179

instance Agent and CartridgeCase
Entity Object and Process instance Entity and BulletCartridge instance Object and Bullet instance Process and Keeping properPart Agent and Entity properPart Object and Entity agent Process and Agent patient Process and Object

consequent

(=>
    (instance ?CARTRIDGE BulletCartridge)
    (hasPurpose ?CARTRIDGE
        (exists (?BULLET ?CASE)
            (and
                (instance ?BULLET Bullet)
                (instance ?CASE CartridgeCase)
                (properPart ?BULLET ?CARTRIDGE)
                (properPart ?CASE ?CARTRIDGE)))))

Mid-level-ontology.kif 1156-1164

instance Physical and BulletCartridge
hasPurpose Physical and entity entity instance entity and Bullet instance entity and CartridgeCase properPart entity and Physical properPart entity and Physical

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: