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

KB Term:  Term intersection
English Word: 

Sigma KEE - OrchestralConducting
OrchestralConducting(orchestral conducting)

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


(subclass OrchestralConducting MusicalConducting) Mid-level-ontology.kif 20436-20436 Orchestral conducting is a subclass of musical conducting
(documentation OrchestralConducting EnglishLanguage "OrchestralConducting is a type of MusicalConducting where the patient is an Orchestra.") Mid-level-ontology.kif 20437-20438 Orchestral conducting is a subclass of musical conducting
(externalImage OrchestralConducting "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 51/ Orquesta_Filarmonica_de_Jalisco.jpg") pictureList.kif 8628-8628 Orchestral conducting is a subclass of musical conducting
(externalImage OrchestralConducting "http://upload.wikimedia.org/wikipedia/ commons/ c/ c6/ Maazel_08.jpg") pictureList.kif 9488-9488 Orchestral conducting is a subclass of musical conducting
(externalImage OrchestralConducting "http://upload.wikimedia.org/wikipedia/ en/ e/ ef/ Budapest_Symphony_Orchestra.jpg") pictureList.kif 9489-9489 Orchestral conducting is a subclass of musical conducting

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


(termFormat EnglishLanguage OrchestralConducting "orchestral conducting") domainEnglishFormat.kif 42431-42431
(termFormat ChineseTraditionalLanguage OrchestralConducting "管弦樂指揮") domainEnglishFormat.kif 42432-42432
(termFormat ChineseLanguage OrchestralConducting "管弦乐指挥") domainEnglishFormat.kif 42433-42433

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


(=>
    (and
        (instance ?CONDUCT OrchestralConducting)
        (patient ?CONDUCT ?GRP))
    (instance ?CONDUCT Orchestra))		 Mid-level-ontology.kif 20440-20444 If X is an instance of orchestral conducting and Y is a patient of X, then X is an instance of orchestra


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners