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 30842-30843
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 30840-30840	The number 1 argument of Covering fn is a subclass of body part
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 30839-30839	Covering fn is an instance of unary function
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 30841-30841	The values returned by Covering fn are subclasses of wearable item

appearance as argument number 2

(format ChineseLanguage CoveringFn "对于 %1 的 covering ")	domainEnglishFormat.kif 3134-3134
(format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ")	domainEnglishFormat.kif 3133-3133
(format EnglishLanguage CoveringFn "a covering for %1")	domainEnglishFormat.kif 3132-3132
(termFormat EnglishLanguage CoveringFn "Covering fn")	domainEnglishFormat.kif 64734-64734

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 30845-30854

If a physical is a subclass of a covering for a kind of body part,
then the physical has the 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 4804-4804	Glove is equal to a covering for hand
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 5697-5697	Hat is a subclass of a covering for head
(subclass Helmet (CoveringFn Head))	Cars.kif 4421-4421	Helmet is a subclass of a covering for head
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5650-5650	Mask is a subclass of a covering for face
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 5809-5809	Shirt is a subclass of a covering for torso
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 5731-5731	Shoe is a subclass of a covering for foot
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 5820-5820	Sleeve is a subclass of a covering for arm
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 5794-5794	Sock is a subclass of a covering for foot
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 5716-5716	Trousers is a subclass of a covering for leg

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: