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


KB Term:  Term intersection
English Word: 

  RoomInventory

 Sigma KEE - RoomInventory
RoomInventory(room inventory)

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


(subclass RoomInventory CollectionOfObjects) Hotel.kif 138-138 Room inventory is a subclass of collection
(documentation RoomInventory EnglishLanguage "RoomInventory is the Collection of HotelUnit that a TravelerAccommodation has in one PropertyFn") Hotel.kif 139-140 Room inventory is a subclass of collection

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage RoomInventory "room inventory") Hotel.kif 141-141

appearance as argument number 3
-------------------------


(domain allRoomsPhysicalAmenity 1 RoomInventory) Hotel.kif 168-168 The number 1 argument of physical amenity in all rooms is an instance of room inventory
(domain someRoomsPhysicalAmenity 1 RoomInventory) Hotel.kif 184-184 The number 1 argument of physical amenity in some rooms is an instance of room inventory
(domain someRoomsServiceAmenity 1 RoomInventory) Hotel.kif 200-200 The number 1 argument of service amenity in some rooms is an instance of room inventory
(domain allRoomsServiceAmenity 1 RoomInventory) Hotel.kif 215-215 The number 1 argument of service amenity in all rooms is an instance of room inventory
(domain allRoomsPolicy 1 RoomInventory) Hotel.kif 230-230 The number 1 argument of room policy in all rooms is an instance of room inventory
(domain someRoomsPolicy 1 RoomInventory) Hotel.kif 245-245 The number 1 argument of room policy in all rooms is an instance of room inventory
(domain someRoomsAttribute 1 RoomInventory) Hotel.kif 260-260 The number 1 argument of some rooms attribute is an instance of room inventory

antecedent
-------------------------


(=>
    (instance ?X RoomInventory)
    (memberType ?X HotelUnit))		 Hotel.kif 143-145 If X is an instance of room inventory, then hotel unit is a member type of X
(=>
    (and
        (element ?X
            (PropertyFn ?HOTEL))
        (instance ?X RoomInventory))
    (forall (?Y)
        (=>
            (member ?Y ?X)
            (element ?Y
                (PropertyFn ?HOTEL)))))		 Hotel.kif 147-154 If X is an element of belongings of Y and X is an instance of room inventory, then For all Physical Z: if Z is a member of X, then Z is an element of belongings of Y


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