Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PlantSubstance

 Sigma KEE - HotelMiniBar
HotelMiniBar(mini bar)

appearance as argument number 1
-------------------------


(subclass HotelMiniBar CollectionOfObjects) Hotel.kif 1729-1729 Mini bar is a subclass of collection
(documentation HotelMiniBar EnglishLanguage "HotelMiniBar is a CollectionOfObjects of (FoodForFn Human) that is available for a certain price") Hotel.kif 1730-1731 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 X is an instance of mini bar, then food for human is a member type of X
(=>
    (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 X, then there exist Y, Z, W such that Y is an instance of X, Y is an element of belongings of W, Z is an instance of mini bar, Z is located at Y, and V V is a member of Zthere exists U such that V is price U for W

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 X, then there exist Y, Z, W such that Y is an instance of X, Y is an element of belongings of W, Z is an instance of mini bar, Z is located at Y, and V V is a member of Zthere exists U such that V is price U for W


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners