NightClub - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NightClub EnglishLanguage "NightClub is a type of DanceHall that typically opens at NightTime and has a Tavern located in it")	Mid-level-ontology.kif 27968-27969
(subclass NightClub DanceHall)	Mid-level-ontology.kif 27967-27967	Night club is a subclass of dance hall

appearance as argument number 2

(termFormat EnglishLanguage NightClub "night club")

Mid-level-ontology.kif 27970-27970

antecedent

(=> (and (instance ?X NightClub) (standardRetailHours ?TIME ?X)) (exists (?T) (and (instance ?T ?TIME) (during ?T NightTime))))	Dining.kif 419-426	If an agent is an instance of night club and the standard retail hours for the agent are a kind of time interval, then there exists another time interval such that the other time interval is an instance of a kind of time interval and the other time interval takes place during night time
(=> (instance ?X NightClub) (exists (?BAR) (and (instance ?BAR Tavern) (located ?BAR ?X))))	Mid-level-ontology.kif 27972-27977	If an object is an instance of night club, then there exists a physical such that the physical is an instance of tavern and the physical is located at the object

consequent

(=>
    (musicGenre ?MR ElectronicDanceMusic)
    (hasPurpose ?MR
        (exists (?NC ?MM)
            (and
                (instance ?NC NightClub)
                (instance ?MM MakingMusic)
                (patient ?MM ?MR)
                (eventLocated ?MM ?NC)))))

Music.kif 673-681