Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TapeCassette
TapeCassettecassette, cassette_tape

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


(documentation TapeCassette EnglishLanguage "An instance of TapeCassette is an ElectronicDataStorageDevice consisting of some length of RecordingTape enclosed in a protective plastic case.") Media.kif 1308-1311
(subclass TapeCassette ElectronicDataStorageDevice) Media.kif 1307-1307 TapeCassette is a subclass of ElectronicDataStorageDevice

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


(subclass AudioCassette TapeCassette) Media.kif 1361-1361 AudioCassette is a subclass of TapeCassette
(subclass DigitalAudioTapeCassette TapeCassette) Media.kif 1327-1327 DigitalAudioTapeCassette is a subclass of TapeCassette
(subclass VideoCassette TapeCassette) Media.kif 1374-1374 VideoCassette is a subclass of TapeCassette

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


(=>
    (instance ?OBJ TapeCassette)
    (exists (?TAPE)
        (and
            (instance ?TAPE RecordingTape)
            (component ?TAPE ?OBJ))))
Media.kif 1313-1318


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners