TreeView Knowledge Base Browser

appearance as argument number 1

(documentation producedOn EnglishLanguage "(producedOn ?R ?TP) refers to the date that a Recording was finalized into a final copy that is ready for release.")	Music.kif 89-90
(domain producedOn 1 Recording)	Music.kif 93-93	producedOn の数値 1 引数は Recording の instance では %n
(domain producedOn 2 TimePoint)	Music.kif 94-94	producedOn の数値 2 引数は時点の instance では %n
(instance producedOn BinaryPredicate)	Music.kif 88-88	producedOn は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage producedOn "%1 是 produced 在 %2 ")	domainEnglishFormat.kif 4230-4230
(format ChineseTraditionalLanguage producedOn "%1 是 produced 在 %2 ")	domainEnglishFormat.kif 4229-4229
(format EnglishLanguage producedOn "%1 was produced on %2")	domainEnglishFormat.kif 4228-4228
(termFormat EnglishLanguage producedOn "produced on")	Music.kif 91-91

antecedent

(=>
    (producedOn ?R ?D)
    (exists (?P)
        (and
            (instance ?P Process)
            (result ?P ?R)
            (equal ?D
                (WhenFn
                    (EndFn ?P))))))

Music.kif 96-104

producedOn Recording and 時間間隔
時間間隔時間間隔は工程の instance では %n Recording は時間間隔の result では %n 時間間隔は時間間隔の end の time の existence と equal では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: