servingPiecesCount - Sigma Knowledge base Browser

appearance as argument number 1

(instance servingPiecesCount BinaryPredicate)	HouseholdAppliances.kif 1641-1641	places for serving pieces count is an instance of binary predicate
(instance servingPiecesCount SingleValuedRelation)	HouseholdAppliances.kif 1642-1642	places for serving pieces count is an instance of single valued relation
(instance servingPiecesCount PartialValuedRelation)	HouseholdAppliances.kif 1643-1643	places for serving pieces count is an instance of partial valued relation
(documentation servingPiecesCount EnglishLanguage "A number of places for serving pieces in a Dishwasher.")	HouseholdAppliances.kif 1644-1644	places for serving pieces count is an instance of partial valued relation
(domainSubclass servingPiecesCount 1 Dishwasher)	HouseholdAppliances.kif 1647-1647	The number 1 argument of places for serving pieces count is a subclass of dishwasher
(domain servingPiecesCount 2 PositiveInteger)	HouseholdAppliances.kif 1648-1648	The number 2 argument of places for serving pieces count is an instance of positive integer

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?DEVICE Dishwasher)
        (attribute ?DEVICE Compact)
        (instance ?DEVICE ?CLASS)
        (platePlacesCount ?CLASS ?PLATEC)
        (servingPiecesCount ?CLASS ?PIECIESC))
    (and
        (lessThanOrEqualTo ?PLATEC 8)
        (lessThanOrEqualTo ?PIECIESC 6)))

If X is an instance of dishwasher, compact is an attribute of X, X is an instance of Y, plate places count Y and Z, and places for serving pieces count Y and W, then Z is less than or equal to 8 and W is less than or equal to 6