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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoveringFn

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 29115-29116
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29113-29113 The number 1 argument of CoveringFn is a subclass of body part
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29112-29112 CoveringFn is an instance of unary function
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29114-29114 The values returned by CoveringFn are subclasses of wearable item

appearance as argument number 2
-------------------------


(format ChineseLanguage CoveringFn "对于 %1 的 covering ") domainEnglishFormat.kif 3143-3143
(format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ") domainEnglishFormat.kif 3142-3142
(format EnglishLanguage CoveringFn "a covering for %1") domainEnglishFormat.kif 3141-3141

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 29118-29127

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


(equal Glove
    (CoveringFn Hand))
Cars.kif 4746-4746 Glove is equal to a covering for hand
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 4870-4870 Hat is a subclass of a covering for head
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4363-4363 Helmet is a subclass of a covering for head
(subclass Mask
    (CoveringFn Face))
Mid-level-ontology.kif 4823-4823 Mask is a subclass of a covering for face
(subclass Shirt
    (CoveringFn Torso))
Mid-level-ontology.kif 4982-4982 Shirt is a subclass of a covering for torso
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 4904-4904 Shoe is a subclass of a covering for foot
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 4993-4993 Sleeve is a subclass of a covering for arm
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 4967-4967 Sock is a subclass of a covering for foot
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 4889-4889 Trousers is a subclass of a covering for leg


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

Show without tree


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