HotelMiniBar - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HotelMiniBar EnglishLanguage "HotelMiniBar is a Collection of (FoodForFn Human) that is available for a certain price")	Hotel.kif 1719-1720
(subclass HotelMiniBar Collection)	Hotel.kif 1718-1718	Mini bar is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage HotelMiniBar "mini bar")

Hotel.kif 1721-1721

antecedent

(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1723-1725	If a collection is an instance of mini bar, then food for human is a member type of the collection
(=> (roomAmenity ?X HotelMiniBar) (exists (?ROOM ?BAR ?HOTEL) (and (instance ?ROOM ?X) (element ?ROOM (PropertyFn ?HOTEL)) (instance ?BAR HotelMiniBar) (located ?BAR ?ROOM) (forall (?ITEM) (=> (member ?ITEM ?BAR) (exists (?AMT) (price ?ITEM ?AMT ?HOTEL)))))))	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

(=>
    (roomAmenity ?X HotelMiniBar)
    (exists (?ROOM ?BAR ?HOTEL)
        (and
            (instance ?ROOM ?X)
            (element ?ROOM
                (PropertyFn ?HOTEL))
            (instance ?BAR HotelMiniBar)
            (located ?BAR ?ROOM)
            (forall (?ITEM)
                (=>
                    (member ?ITEM ?BAR)
                    (exists (?AMT)
                        (price ?ITEM ?AMT ?HOTEL)))))))

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: