Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalConducting
MusicalConductingconduct, conducting

appearance as argument number 1
-------------------------


(documentation MusicalConducting EnglishLanguage "An instance of MusicalConducting is a Guiding in which the patient (entity guided) is a Musician or a MusicalGroup.") Mid-level-ontology.kif 17870-17872
(subclass MusicalConducting Guiding) Mid-level-ontology.kif 17868-17868 MusicalConducting is a subclass of guiding

appearance as argument number 2
-------------------------


(subclass OrchestralConducting MusicalConducting) Mid-level-ontology.kif 17892-17892 Orchestral conducting is a subclass of MusicalConducting

antecedent
-------------------------


(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (agent ?CONDUCT ?AGENT))
    (holdsDuring
        (WhenFn ?CONDUCT)
        (attribute ?AGENT MusicalConductor)))
Media.kif 1865-1869
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))
Mid-level-ontology.kif 17881-17890
(=>
    (instance ?CONDUCT MusicalConducting)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MusicalPerformance)
            (subProcess ?CONDUCT ?MUSIC))))
Mid-level-ontology.kif 17874-17879

consequent
-------------------------


(=>
    (holdsDuring ?T1
        (attribute ?AGENT MusicalConductor))
    (exists (?CONDUCT)
        (and
            (instance ?CONDUCT MusicalConducting)
            (agent ?CONDUCT ?AGENT)
            (not
                (earlier ?T1
                    (WhenFn ?CONDUCT))))))
Media.kif 1871-1877


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners