Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CoveringFn
CoveringFn

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 31646-31647
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 31644-31644 The number 1 argument of Covering fn is a subclass of body part
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 31643-31643 Covering fn is an instance of unary function
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 31645-31645 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 64705-64705

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 31649-31658

statement
-------------------------


(equal Glove
    (CoveringFn Hand))
Cars.kif 4804-4804 equal glove and a covering for hand
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 6085-6085 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 6038-6038 Mask is a subclass of a covering for face
(subclass Shirt
    (CoveringFn Torso))
Mid-level-ontology.kif 6197-6197 Shirt is a subclass of a covering for torso
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 6119-6119 Shoe is a subclass of a covering for foot
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 6208-6208 Sleeve is a subclass of a covering for arm
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 6182-6182 Sock is a subclass of a covering for foot
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 6104-6104 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