TreeView Knowledge Base Browser

appearance as argument number 1

(instance musicChartBy BinaryPredicate)	Music.kif 1160-1160	music chart by is an instance of binary predicate
(documentation musicChartBy EnglishLanguage "(musicChartBy ?CHART ?A) means that CognitiveAgent ?A was responsible for the process of deciding which objects are included in MusicChart ?CHART.")	Music.kif 1161-1163	music chart by is an instance of binary predicate
(domainSubclass musicChartBy 1 MusicChart)	Music.kif 1166-1166	The number 1 argument of music chart by is a subclass of music charts
(domain musicChartBy 2 CognitiveAgent)	Music.kif 1167-1167	The number 2 argument of music chart by is an instance of cognitive agent

appearance as argument number 2

(termFormat EnglishLanguage musicChartBy "music chart by")	Music.kif 1164-1164
(format EnglishLanguage musicChartBy "%1 is ranked by %2")	domainEnglishFormat.kif 3918-3918
(format ChineseTraditionalLanguage musicChartBy "%1 是 ranked 由 %2 ")	domainEnglishFormat.kif 3919-3919
(format ChineseLanguage musicChartBy "%1 是 ranked 由 %2 ")	domainEnglishFormat.kif 3920-3920

antecedent

(=>
    (musicChartBy ?CHART ?AGENT)
    (exists (?P ?C)
        (and
            (instance ?C ?CHART)
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?C))))

Music.kif 1169-1176

If X is ranked by Y, then there exist Z, W such that W is an instance of X, Z is an instance of intentional process, Y is an agent of Z, and W is a result of Z

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

KB Term:			Term intersection

English Word: