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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrchestralConducting
OrchestralConducting(orchestral conducting)

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


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

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


(termFormat ChineseLanguage OrchestralConducting "管弦乐指挥") domainEnglishFormat.kif 42469-42469
(termFormat ChineseTraditionalLanguage OrchestralConducting "管弦樂指揮") domainEnglishFormat.kif 42468-42468
(termFormat EnglishLanguage OrchestralConducting "orchestral conducting") domainEnglishFormat.kif 42467-42467

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


(=>
    (and
        (instance ?CONDUCT OrchestralConducting)
        (patient ?CONDUCT ?GRP))
    (instance ?CONDUCT Orchestra))
Mid-level-ontology.kif 19610-19614


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