TapeCassette - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TapeCassette ElectronicDataStorageDevice)	Media.kif 1250-1250	Tape cassette is a subclass of electronic data storage device
(documentation TapeCassette EnglishLanguage "An instance of TapeCassette is an ElectronicDataStorageDevice consisting of some length of RecordingTape enclosed in a protective plastic case.")	Media.kif 1251-1254	Tape cassette is a subclass of electronic data storage device

appearance as argument number 2

(subclass DigitalAudioTapeCassette TapeCassette)	Media.kif 1270-1270	Digital audio tape cassette is a subclass of tape cassette
(subclass AudioCassette TapeCassette)	Media.kif 1304-1304	Audio cassette is a subclass of tape cassette
(subclass VideoCassette TapeCassette)	Media.kif 1317-1317	Video cassette is a subclass of tape cassette
(termFormat EnglishLanguage TapeCassette "tape cassette")	domainEnglishFormat.kif 65585-65585	Video cassette is a subclass of tape cassette

antecedent

(=>
    (instance ?OBJ TapeCassette)
    (exists (?TAPE)
        (and
            (instance ?TAPE RecordingTape)
            (component ?TAPE ?OBJ))))

If X is an instance of tape cassette, then there exists Y such that Y is an instance of recording tape and Y is a component of X