memberType |
(=> (instance ?X ElectricalOutlet) (hasPurpose ?X (exists (?POWER ?WIRE) (and (instance ?POWER PowerSource) (instance ?WIRE Collection) (memberType ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?POWER))))) |
Mid-level-ontology.kif 25919-25927 | |
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human))) |
Hotel.kif 1723-1725 | |
(=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice))) |
Mid-level-ontology.kif 26098-26102 | |
(=> (instance ?X RoomInventory) (memberType ?X HotelUnit)) |
Hotel.kif 143-145 | |
(=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 26967-26971 | |
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE)))) |
Mid-level-ontology.kif 22671-22677 | |
(=> (someRoomsPhysicalAmenity ?INV ?OBJ) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 187-192 | |
(=> (someRoomsPolicy ?INV ?POLICY) (exists (?X) (and (memberType ?INV ?X) (roomPolicy ?X ?POLICY)))) |
Hotel.kif 248-253 | |
(=> (someRoomsServiceAmenity ?INV ?SVC) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?SVC)))) |
Hotel.kif 203-208 |