TreeView Knowledge Base Browser

appearance as argument number 1

(documentation recordingLength EnglishLanguage "(recordingLength ?R ?T) indicates that playing the complete Recording ?R from start to finish lasts TimeDuration ?T.")	Music.kif 109-110
(domain recordingLength 1 Recording)	Music.kif 113-113	Le nombre 1 argument de recordingLength est une instance de Recording
(domain recordingLength 2 TimeDuration)	Music.kif 114-114	Le nombre 2 argument de recordingLength est une instance de dur�e temporel
(instance recordingLength BinaryPredicate)	Music.kif 108-108	recordingLength est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage recordingLength "%1 是 %2 long ")	domainEnglishFormat.kif 4358-4358
(format ChineseTraditionalLanguage recordingLength "%1 是 %2 long ")	domainEnglishFormat.kif 4357-4357
(format EnglishLanguage recordingLength "%1 is %2 long")	domainEnglishFormat.kif 4356-4356
(termFormat EnglishLanguage recordingLength "recording length")	Music.kif 111-111

antecedent

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

Music.kif 118-124