TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Choreographing Planning)	Mid-level-ontology.kif 17651-17651	Choreographing is a subclass of planning
(documentation Choreographing EnglishLanguage "Planning that results in a sequence of dance steps that are executed as part of a Performance.")	Mid-level-ontology.kif 17652-17653	Choreographing is a subclass of planning

appearance as argument number 2

(termFormat EnglishLanguage Choreographing "choreographing")	domainEnglishFormat.kif 14700-14700
(termFormat ChineseTraditionalLanguage Choreographing "編排")	domainEnglishFormat.kif 14701-14701
(termFormat ChineseLanguage Choreographing "编排")	domainEnglishFormat.kif 14702-14702

antecedent

(=>
    (and
        (instance ?G Choreographing)
        (result ?G ?P)
        (realization ?D ?P))
    (instance ?D Dancing))

If X is an instance of choreographing, Y is a result of X, and Z expresses the content of Y, then Z is an instance of dancing