TreeView Knowledge Base Browser - someRoomsServiceAmenity

appearance as argument number 1

(instance someRoomsServiceAmenity BinaryPredicate)	Hotel.kif 194-194	service amenity in some rooms is an instance of binary predicate
(documentation someRoomsServiceAmenity EnglishLanguage "(someRoomsServiceAmenity ?INV ?SVC) means that there are rooms in RoomInventory ?INV that have roomAmenity ?SVC")	Hotel.kif 195-197	service amenity in some rooms is an instance of binary predicate
(domain someRoomsServiceAmenity 1 RoomInventory)	Hotel.kif 200-200	The number 1 argument of service amenity in some rooms is an instance of room inventory
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess)	Hotel.kif 201-201	The number 2 argument of service amenity in some rooms is a subclass of service

appearance as argument number 2

(termFormat EnglishLanguage someRoomsServiceAmenity "service amenity in some rooms")	Hotel.kif 198-198
(format EnglishLanguage someRoomsServiceAmenity "some rooms in %1 have %2")	domainEnglishFormat.kif 4568-4568
(format ChineseTraditionalLanguage someRoomsServiceAmenity "some rooms 在 %1 有 %2 ")	domainEnglishFormat.kif 4569-4569
(format ChineseLanguage someRoomsServiceAmenity "some rooms 在 %1 有 %2 ")	domainEnglishFormat.kif 4570-4570

antecedent

(=>
    (someRoomsServiceAmenity ?INV ?SVC)
    (exists (?X)
        (and
            (memberType ?INV ?X)
            (roomAmenity ?X ?SVC))))

If some rooms in X have Y, then there exists Z such that Z is a member type of X and Y is an amenity in Z