platePlacesCount - Sigma Knowledge base Browser

appearance as argument number 1

(instance platePlacesCount BinaryPredicate)	HouseholdAppliances.kif 1628-1628	plate places count is an instance of binary predicate
(instance platePlacesCount SingleValuedRelation)	HouseholdAppliances.kif 1629-1629	plate places count is an instance of single valued relation
(instance platePlacesCount PartialValuedRelation)	HouseholdAppliances.kif 1630-1630	plate places count is an instance of partial valued relation
(documentation platePlacesCount EnglishLanguage "A number of plate places in a Dishwasher.")	HouseholdAppliances.kif 1631-1631	plate places count is an instance of partial valued relation
(domainSubclass platePlacesCount 1 Dishwasher)	HouseholdAppliances.kif 1634-1634	The number 1 argument of plate places count is a subclass of dishwasher
(domain platePlacesCount 2 PositiveInteger)	HouseholdAppliances.kif 1635-1635	The number 2 argument of plate places 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