Hulling - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Hulling Cooking)	Food.kif 167-167	Hulling is a subclass of cooking
(subclass Hulling Peeling)	Food.kif 168-168	Hulling is a subclass of peeling
(documentation Hulling EnglishLanguage "Hulling is a process by which the outer covering of a fruit or seed, especially the pod of peas and beans, or the husk of grain is removed.[Wikipedia]")	Food.kif 169-171	Hulling is a subclass of peeling

appearance as argument number 2

(termFormat EnglishLanguage Hulling "hulling")

antecedent

(=>
    (and
        (instance ?H Hulling)
        (patient ?H ?O))
    (or
        (instance ?O Seed)
        (instance ?O Fruit)))

If X is an instance of hulling and Y is a patient of X, then Y is an instance of seed or Y is an instance of fruit

consequent

(=>
    (attribute ?F HulledAttribute)
    (exists (?X)
        (and
            (instance ?X Hulling)
            (result ?X ?F))))

If hulled is an attribute of X, then there exists Y such that Y is an instance of hulling and X is a result of Y