PerformanceStageWing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PerformanceStageWing StationaryArtifact)	Mid-level-ontology.kif 17366-17366	Performance stage wing is a subclass of stationary artifact
(documentation PerformanceStageWing EnglishLanguage "A part of the PerformanceStage that is not visible to members of the audience.")	Mid-level-ontology.kif 17367-17368	Performance stage wing is a subclass of stationary artifact
(externalImage PerformanceStageWing "http://upload.wikimedia.org/wikipedia/ commons/ d/ dd/ View_of_a_performance_on_stage_from_the_wings.jpg")	pictureList.kif 8650-8650	Performance stage wing is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage PerformanceStageWing "performance stage wing")	domainEnglishFormat.kif 45143-45143
(termFormat ChineseTraditionalLanguage PerformanceStageWing "表演舞台翼")	domainEnglishFormat.kif 45144-45144
(termFormat ChineseLanguage PerformanceStageWing "表演舞台翼")	domainEnglishFormat.kif 45145-45145

antecedent

(=>
    (instance ?W PerformanceStageWing)
    (exists (?S)
        (and
            (instance ?S PerformanceStage)
            (part ?W ?S))))

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