Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalConducting
MusicalConducting(musical conducting)conduct, conducting

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


(subclass MusicalConducting Guiding) Mid-level-ontology.kif 20398-20398 Musical conducting is a subclass of guiding
(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 20400-20402 Musical conducting is a subclass of guiding

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


(subclass OrchestralConducting MusicalConducting) Mid-level-ontology.kif 20436-20436 Orchestral conducting is a subclass of musical conducting
(termFormat EnglishLanguage MusicalConducting "musical conducting") domainEnglishFormat.kif 65217-65217 Orchestral conducting is a subclass of musical conducting

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


(=>
    (instance ?CONDUCT MusicalConducting)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MusicalPerformance)
            (subProcess ?CONDUCT ?MUSIC))))		 Mid-level-ontology.kif 20404-20409 If X is an instance of musical conducting, then there exists Y such that Y is an instance of musical performance and X is a subprocess of Y
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))		 Mid-level-ontology.kif 20411-20420 If X is an instance of musical conducting, Y is a patient of X, and Z is an instance of musician, then Y is an instance of musical group or Z is an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (agent ?CONDUCT ?AGENT))
    (holdsDuring
        (WhenFn ?CONDUCT)
        (attribute ?AGENT MusicalConductor)))		 Media.kif 1814-1818 If X is an instance of musical conducting and Y is an agent of X, then musical conductor is an attribute of Y holds during the time of existence of X

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


(=>
    (holdsDuring ?T1
        (attribute ?AGENT MusicalConductor))
    (exists (?CONDUCT)
        (and
            (instance ?CONDUCT MusicalConducting)
            (agent ?CONDUCT ?AGENT)
            (not
                (earlier ?T1
                    (WhenFn ?CONDUCT))))))		 Media.kif 1820-1826 If musical conductor is an attribute of X holds during Y, then there exists Z such that Z is an instance of musical conducting, X is an agent of Z, and Y doesn't happen earlier than the time of existence of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners