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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TapeCassette
TapeCassette

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 1304-1307
(subclass TapeCassette ElectronicDataStorageDevice) Media.kif 1303-1303 TapeCassetteElectronicDataStorageDevicesubclass

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


(subclass AudioCassette TapeCassette) Media.kif 1357-1357 AudioCassetteTapeCassettesubclass
(subclass DigitalAudioTapeCassette TapeCassette) Media.kif 1323-1323 DigitalAudioTapeCassetteTapeCassettesubclass
(subclass VideoCassette TapeCassette) Media.kif 1370-1370 VideoCassetteTapeCassettesubclass

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


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


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