FamilyStylePortion - Sigma Knowledge base Browser

appearance as argument number 1

(instance FamilyStylePortion FoodAttribute)	Dining.kif 1161-1161	Family_style portions is an instance of food attribute
(documentation FamilyStylePortion EnglishLanguage "FamilyStylePortion means that an instance of food can be shared by 3 or more people")	Dining.kif 1162-1163	Family_style portions is an instance of food attribute

appearance as argument number 2

antecedent

(=>
    (and
        (attribute ?FOOD1 FamilyStylePortion)
        (measure ?FOOD1
            (MeasureFn ?MEAS1 ?U))
        (not
            (attribute ?FOOD2 FamilyStylePortion))
        (measure ?FOOD2
            (MeasureFn ?MEAS2 ?U))
        (instance ?FOOD1 ?CLASS)
        (instance ?FOOD2 ?CLASS)
        (instance ?U UnitOfMeasure))
    (greaterThan ?MEAS1 ?MEAS2))

If All of the following hold: (1) family_style portions is an attribute of X (2) the measure of X is Y Z(s) (3) family_style portions is not an attribute of W (4) the measure of W is V Z(s) (5) X is an instance of U (6) W is an instance of U (7) Z is an instance of unit of measure, then Y is greater than V