CoveringFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CoveringFn EnglishLanguage "A Function that produces the class of all things intended to be used in Covering a particular BodyPart.")	Mid-level-ontology.kif 27910-27911
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 27908-27908	The number 1 argument of CoveringFn is a subclass of body part
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 27907-27907	CoveringFn is an instance of unary function
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 27909-27909	The values returned by CoveringFn are subclasses of wearable item

appearance as argument number 2

(format ChineseLanguage CoveringFn "对于 %1 的 covering ")	domainEnglishFormat.kif 3139-3139
(format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ")	domainEnglishFormat.kif 3138-3138
(format EnglishLanguage CoveringFn "a covering for %1")	domainEnglishFormat.kif 3137-3137

antecedent

(=>
    (subclass ?C
        (CoveringFn ?B))
    (hasPurpose ?C
        (exists (?P ?BI ?CI)
            (and
                (instance ?P Covering)
                (instance ?BI ?B)
                (instance ?CI ?C)
                (destination ?P ?BI)
                (patient ?P ?CI)))))

Mid-level-ontology.kif 27913-27922

If a physical is a subclass of a covering for a kind of body part,
then the physical purpose there exist an entity, a kind of body partI and the physicalI such that the entity is an instance of covering and the kind of body partI is an instance of the kind of body part and the physicalI is an instance of the physical and the entity ends up at the kind of body partI and the physicalI is a patient of the entity

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4723-4723	Glove is equal to a covering for hand
(subclass Helmet (CoveringFn Head))	Cars.kif 4333-4333	Helmet is a subclass of a covering for head

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: