TapeRecorder - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TapeRecorder EnglishLanguage "TapeRecorder is a type of AudioRecorder that stores the recorded AudioRecording on a RecordingTape")	Media.kif 1334-1335
(subclass TapeRecorder AudioRecorder)	Media.kif 1333-1333	Tape recorder is a subclass of audio recorder

appearance as argument number 2

(termFormat EnglishLanguage TapeRecorder "tape recorder")

Media.kif 1336-1336

antecedent

(=>
    (instance ?X TapeRecorder)
    (hasPurpose ?X
        (exists (?AUDIO ?TAPE ?PROC)
            (and
                (instance ?PROC IntentionalProcess)
                (instrument ?PROC ?X)
                (result ?PROC ?AUDIO)
                (instance ?AUDIO AudioRecording)
                (instance ?TAPE RecordingTape)
                (holdsDuring ?PROC
                    (connected ?TAPE ?X))
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn
                            (part ?AUDIO ?TAPE))))))))

Media.kif 1338-1352

If a physical is an instance of tape recorder,
then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of recording tape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity

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: