TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage NightClub "night club")

antecedent

(=> (instance ?X NightClub) (exists (?BAR) (and (instance ?BAR Tavern) (located ?BAR ?X))))	Mid-level-ontology.kif 29471-29476	If X is an instance of night club, then there exists Y such that Y is an instance of tavern and Y is located at X
(=> (and (instance ?X NightClub) (standardRetailHours ?TIME ?X)) (exists (?T) (and (instance ?T ?TIME) (during ?T NightTime))))	Dining.kif 419-426	If X is an instance of night club and the standard retail hours for X are Y, then there exists Z such that Z is an instance of Y and Z takes place during night time

consequent

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

If electronic dance music is in the genre X, then X has the purpose there exist Y, Z such that Y is an instance of night club, Z is an instance of making music, X is a patient of Z, and Z is located at Y

(subclass NightClub DanceHall)	Mid-level-ontology.kif 29466-29466	Night club is a subclass of dance hall
(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 29467-29468	Night club is a subclass of dance hall