Casino - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1388-1389
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1387-1387	Casino is a subclass of stationary artifact

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1403-1408	If traveler accommodation is an attribute of an agent and an entity is an element of belongings of the agent and the entity is an instance of Casino, then casino hotels is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1391-1399	If a physical is an instance of Casino, then the physical purpose there exist an entity and another entity such that the entity is an instance of game and the entity is located at the physical and the other entity is an instance of betting and the other entity is a subprocess of the entity