TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation albumTrack inList)	Music.kif 332-332	album track is a subrelation of in list
(instance albumTrack BinaryPredicate)	Music.kif 333-333	album track is an instance of binary predicate
(documentation albumTrack EnglishLanguage "(albumTrack ?A ?T) means that Recording ?T is part of Album ?A")	Music.kif 334-335	album track is an instance of binary predicate
(domain albumTrack 1 Recording)	Music.kif 338-338	The number 1 argument of album track is an instance of recording
(domain albumTrack 2 Album)	Music.kif 339-339	The number 2 argument of album track is an instance of album

appearance as argument number 2

(termFormat EnglishLanguage albumTrack "album track")	Music.kif 336-336
(format EnglishLanguage albumTrack "%1 is a track on %2")	domainEnglishFormat.kif 2760-2760
(format ChineseTraditionalLanguage albumTrack "%1 是在 %2 的 track ")	domainEnglishFormat.kif 2761-2761
(format ChineseLanguage albumTrack "%1 是在 %2 的 track ")	domainEnglishFormat.kif 2762-2762