TreeView Knowledge Base Browser

appearance as argument number 1

(documentation albumLength EnglishLanguage "(albumLength ?A ?T) means that TimeDuration ?T is the time it takes to view / listen to all Recording in Album ?A")	Music.kif 325-326
(domain albumLength 1 Album)	Music.kif 329-329	albumLength の数値 1 引数は Album の instance では %n
(domain albumLength 2 TimeDuration)	Music.kif 330-330	albumLength の数値 2 引数は時間分の instance では %n
(instance albumLength BinaryPredicate)	Music.kif 324-324	albumLength は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage albumLength "%1 是 %2 long ")	domainEnglishFormat.kif 2758-2758
(format ChineseTraditionalLanguage albumLength "%1 是 %2 long ")	domainEnglishFormat.kif 2757-2757
(format EnglishLanguage albumLength "%1 is %2 long")	domainEnglishFormat.kif 2756-2756
(termFormat EnglishLanguage albumLength "album length")	Music.kif 327-327