HairRemoval - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HairRemoval Removing)	Mid-level-ontology.kif 13305-13305	Hair removal is a subclass of removing
(documentation HairRemoval EnglishLanguage "Removing (some or all) the Hair from the body of an Animal. Note that this covers shaving hair, cutting hair, pulling hair out by the roots, etc.")	Mid-level-ontology.kif 13306-13308	Hair removal is a subclass of removing
(externalImage HairRemoval "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ AtTheCuttingEdge.jpg")	pictureList.kif 4711-4711	Hair removal is a subclass of removing

appearance as argument number 2

(subclass ShavingRazor HairRemoval)	HouseholdAppliances.kif 249-249	Razor is a subclass of hair removal
(termFormat EnglishLanguage HairRemoval "hair removal")	domainEnglishFormat.kif 27218-27218	Razor is a subclass of hair removal
(termFormat ChineseTraditionalLanguage HairRemoval "除毛")	domainEnglishFormat.kif 27219-27219	Razor is a subclass of hair removal
(termFormat ChineseLanguage HairRemoval "除毛")	domainEnglishFormat.kif 27220-27220	Razor is a subclass of hair removal

antecedent

(=>
    (and
        (instance ?REMOVE HairRemoval)
        (resource ?REMOVE ?HAIR))
    (instance ?HAIR Hair))

If X is an instance of hair removal and Y is a resource for X, then Y is an instance of hair

consequent

(=>
    (instance ?DEVICE ShavingRazor)
    (hasPurpose ?DEVICE
        (exists (?AGENT ?PROCESS)
            (and
                (instance ?AGENT Human)
                (instance ?PROCESS HairRemoval)))))

If X is an instance of razor, then X has the purpose there exist Y, Z such that Y is an instance of human, and Z is an instance of hair removal