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 18518-18519
(externalImage OrchestralConducting "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 51/ Orquesta_Filarmonica_de_Jalisco.jpg") pictureList.kif 8629-8629
(externalImage OrchestralConducting "http://upload.wikimedia.org/wikipedia/ commons/ c/ c6/ Maazel_08.jpg") pictureList.kif 9489-9489
(externalImage OrchestralConducting "http://upload.wikimedia.org/wikipedia/ en/ e/ ef/ Budapest_Symphony_Orchestra.jpg") pictureList.kif 9490-9490
(subclass OrchestralConducting MusicalConducting) Mid-level-ontology.kif 18517-18517 Orchestral conducting is a subclass of musical conducting

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


(termFormat ChineseLanguage OrchestralConducting "管弦乐指挥") domainEnglishFormat.kif 42438-42438
(termFormat ChineseTraditionalLanguage OrchestralConducting "管弦樂指揮") domainEnglishFormat.kif 42437-42437
(termFormat EnglishLanguage OrchestralConducting "orchestral conducting") domainEnglishFormat.kif 42436-42436

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


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


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