recordingLength - Sigma Knowledge base Browser

appearance as argument number 1

(instance recordingLength BinaryPredicate)	Music.kif 108-108	recording length is an instance of binary predicate
(documentation recordingLength EnglishLanguage "(recordingLength ?R ?T) indicates that playing the complete Recording ?R from start to finish lasts TimeDuration ?T.")	Music.kif 109-110	recording length is an instance of binary predicate
(domain recordingLength 1 Recording)	Music.kif 113-113	The number 1 argument of recording length is an instance of recording
(domain recordingLength 2 TimeDuration)	Music.kif 114-114	The number 2 argument of recording length is an instance of time duration

appearance as argument number 2

(termFormat EnglishLanguage recordingLength "recording length")	Music.kif 111-111
(format EnglishLanguage recordingLength "%1 is %2 long")	domainEnglishFormat.kif 4360-4360
(format ChineseTraditionalLanguage recordingLength "%1 是 %2 long ")	domainEnglishFormat.kif 4361-4361
(format ChineseLanguage recordingLength "%1 是 %2 long ")	domainEnglishFormat.kif 4362-4362

antecedent

(=>
    (and
        (recordingLength ?R ?T)
        (instance ?R AudioRecording)
        (instance ?L Listening)
        (patient ?L ?R))
    (duration
        (WhenFn ?L) ?T))

If X is Y long, X is an instance of audio recording, Z is an instance of listening, and X is a patient of Z, then duration of the time of existence of Z is Y