NightClub - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26873-26874
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26872-26872	Night club is a subclass of dance hall

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 26875-26875

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26877-26882	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

No TPTP formula. May not be expressible in strict first order.

Music.kif 673-681