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 15749-15750 | |
(externalImage PerformanceStage "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Yoshida_stage.jpg") | pictureList.kif 4792-4792 | |
(subclass PerformanceStage StationaryArtifact) | Mid-level-ontology.kif 15748-15748 | PerformanceStage è una sottoclasse di ManufattoStatico |
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 |
consequent |
(=> (instance ?AUDITORIUM Auditorium) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 7333-7338 |
|
(=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE)))) |
Mid-level-ontology.kif 15860-15865 |
|
(=> (instance ?W PerformanceStageWing) (exists (?S) (and (instance ?S PerformanceStage) (part ?W ?S)))) |
Mid-level-ontology.kif 15771-15776 |
|