Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
PerformanceStage(performance stage)
|  | dock, downstage, loading_dock, masking, masking_piece, platform, runway, scene, scenery, set, stage, stage_set |
| appearance as argument number 1 |
|
|
| (subclass PerformanceStage StationaryArtifact) | Mid-level-ontology.kif 17347-17347 | Performance stage is a subclass of stationary artifact |
| (documentation PerformanceStage EnglishLanguage "A large platform for theatrical plays, lectures, dances, music recitals, etc, which can be observed by an audience.") | Mid-level-ontology.kif 17348-17349 | Performance stage is a subclass of stationary artifact |
| (externalImage PerformanceStage "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Yoshida_stage.jpg") | pictureList.kif 4791-4791 | Performance stage is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human)) (capability (KappaFn ?SEEING (and (instance ?SEEING Seeing) (patient ?SEEING ?STAGE))) agent ?PERSON)) |
Mid-level-ontology.kif 8648-8661 | If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent |
| (=> (instance ?STAGE PerformanceStage) (hasPurpose ?STAGE (exists (?PERF) (and (instance ?PERF Demonstrating) (eventLocated ?PERF ?STAGE))))) |
Mid-level-ontology.kif 17351-17357 | If X is an instance of performance stage, then X has the purpose there exists Y such that Y is an instance of demonstrating and Y is located at X |
| (=> (instance ?STAGE PerformanceStage) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 17359-17364 | If X is an instance of performance stage, then there exists Y such that Y is an instance of auditorium and X is a part of Y |
| consequent |
|
|
| (=> (instance ?AUDITORIUM Auditorium) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 8630-8635 | If X is an instance of auditorium, then there exists Y such that Y is an instance of performance stage and Y is a part of X |
| (=> (instance ?W PerformanceStageWing) (exists (?S) (and (instance ?S PerformanceStage) (part ?W ?S)))) |
Mid-level-ontology.kif 17370-17375 | If X is an instance of performance stage wing, then there exists Y such that Y is an instance of performance stage and X is a part of Y |
| (=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE)))) |
Mid-level-ontology.kif 17471-17476 | If X is an instance of performance, then there exists Y such that Y is an instance of performance stage and X is located at Y |
|