Orchestra |
appearance as argument number 1 |
(documentation Orchestra EnglishLanguage "A GroupOfPeople that create MakingInstrumentalMusic together.") | Mid-level-ontology.kif 18790-18791 | |
(externalImage Orchestra "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Melbourne_symphony_orchestra.jpg") | pictureList.kif 4789-4789 | |
(subclass Orchestra MusicalGroup) | Mid-level-ontology.kif 18789-18789 |
appearance as argument number 2 |
(termFormat ChineseLanguage Orchestra "δΉι") | domainEnglishFormat.kif 42465-42465 | |
(termFormat ChineseTraditionalLanguage Orchestra "ζ¨ι") | domainEnglishFormat.kif 42464-42464 | |
(termFormat EnglishLanguage Orchestra "orchestra") | domainEnglishFormat.kif 42463-42463 |
antecedent |
(=> (instance ?ORCHESTRA Orchestra) (hasPurpose ?ORCHESTRA (exists (?MUSIC) (and (instance ?MUSIC MakingInstrumentalMusic) (agent ?MUSIC ?ORCHESTRA))))) |
Mid-level-ontology.kif 18793-18799 |
consequent |
(=> (and (instance ?CONDUCT OrchestralConducting) (patient ?CONDUCT ?GRP)) (instance ?CONDUCT Orchestra)) |
Mid-level-ontology.kif 18779-18783 |