|
|
   PerformanceStage
|
|
|
| appearance as argument number 1 |
|
|
| (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 15748-15749 | |
| (externalImage PerformanceStage "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Yoshida_stage.jpg") | pictureList.kif 4792-4792 | |
| (subclass PerformanceStage StationaryArtifact) | Mid-level-ontology.kif 15747-15747 | 表演阶段 是 固定人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PerformanceStage "表演阶段") | domainEnglishFormat.kif 45144-45144 | |
| (termFormat ChineseTraditionalLanguage PerformanceStage "表演階段") | domainEnglishFormat.kif 45143-45143 | |
| (termFormat EnglishLanguage PerformanceStage "performance stage") | domainEnglishFormat.kif 45142-45142 |
| antecedent |
|
|
| (=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human) (subclass ?SEE Seeing) (forall (?INST) (=> (instance ?INST ?SEE) (patient ?INST ?STAGE)))) (capability ?SEE agent ?PERSON)) |
Mid-level-ontology.kif 7350-7364 | |
| (=> (instance ?STAGE PerformanceStage) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 15759-15764 | |
| (=> (instance ?STAGE PerformanceStage) (hasPurpose ?STAGE (exists (?PERF) (and (instance ?PERF Demonstrating) (eventLocated ?PERF ?STAGE))))) |
Mid-level-ontology.kif 15751-15757 |
| consequent |
|
|
| (=> (instance ?AUDITORIUM Auditorium) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 7332-7337 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE)))) |
Mid-level-ontology.kif 15859-15864 | |
| (=> (instance ?W PerformanceStageWing) (exists (?S) (and (instance ?S PerformanceStage) (part ?W ?S)))) |
Mid-level-ontology.kif 15770-15775 |
|
|
|
