HotelMiniBar - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1719-1720
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1718-1718	Mini bar is a subclass of collection

appearance as argument number 2

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

Hotel.kif 1721-1721

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1723-1725	If a collection is an instance of mini bar, then food for human is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	If mini bar is an amenity in a kind of hotel unit, then there exist an object, a collection and an agent such that the object is an instance of a kind of hotel unit and the object is an element of belongings of the agent and the collection is an instance of mini bar and the collection is located at the object and for all a physical if the physical is a member of the collection, then there exists a currency measure such that the physical is price the currency measure for the agent

consequent

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

Hotel.kif 1727-1739