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 1730-1731
(subclass HotelMiniBar Collection)	Hotel.kif 1729-1729	Mini bar is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage HotelMiniBar "mini bar")

Hotel.kif 1732-1732

antecedent

(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1734-1736	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 1738-1750	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 1738-1750

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: