TreeView Knowledge Base Browser

appearance as argument number 1

(instance HipHopMusic MusicGenre)	Music.kif 724-724	Hip hop music is an instance of music genre
(documentation HipHopMusic EnglishLanguage "HipHopMusic is a type of music that includes rhythmic and rhythmic speech that is chanted to musical accompaniment.")	Music.kif 725-726	Hip hop music is an instance of music genre

appearance as argument number 2

(relatedInternalConcept AcidJazz HipHopMusic)	Music.kif 547-547	Acid jazz is internally related to hip hop music
(termFormat EnglishLanguage HipHopMusic "hip hop music")	Music.kif 727-727	Acid jazz is internally related to hip hop music

antecedent

(=>
    (attribute ?MR HipHopMusic)
    (modalAttribute
        (exists (?MM ?S)
            (and
                (record ?MR ?MM)
                (instance ?S Speaking)
                (subProcess ?S ?MM))) Likely))

If hip hop music is an attribute of X, then the statement there exist Y, Z such that X is a record of Y, Z is an instance of speaking, and Z is a subprocess of Y has the modal force of likely