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 18776-18777
(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 18775-18775 Orchestral conducting is a subclass of musical conducting

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


(termFormat ChineseLanguage OrchestralConducting "管弦乐指挥") domainEnglishFormat.kif 42476-42476
(termFormat ChineseTraditionalLanguage OrchestralConducting "管弦樂指揮") domainEnglishFormat.kif 42475-42475
(termFormat EnglishLanguage OrchestralConducting "orchestral conducting") domainEnglishFormat.kif 42474-42474

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


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


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