Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Orchestra(orchestra)
|  | brass_band, chamber_orchestra, concert_band, gamelan, jug_band, military_band, orchestra, philharmonic, string_orchestra, symphony, symphony_orchestra |
| appearance as argument number 1 |
|
|
| (subclass Orchestra MusicalGroup) | Mid-level-ontology.kif 20450-20450 | Orchestra is a subclass of musical group |
| (documentation Orchestra EnglishLanguage "A GroupOfPeople that create MakingInstrumentalMusic together.") | Mid-level-ontology.kif 20451-20452 | Orchestra is a subclass of musical group |
| (externalImage Orchestra "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Melbourne_symphony_orchestra.jpg") | pictureList.kif 4789-4789 | Orchestra is a subclass of musical group |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ORCHESTRA Orchestra) (hasPurpose ?ORCHESTRA (exists (?MUSIC) (and (instance ?MUSIC MakingInstrumentalMusic) (agent ?MUSIC ?ORCHESTRA))))) |
Mid-level-ontology.kif 20454-20460 | If X is an instance of orchestra, then X has the purpose there exists Y such that Y is an instance of instrumental music and X is an agent of Y |
| consequent |
|
|
| (=> (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 |
|