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 28153-28154
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 28151-28151 domainSubclass CoveringFn, 1 and BodyPart
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 28150-28150 instance CoveringFn and UnaryFunction
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 28152-28152 rangeSubclass CoveringFn and WearableItem

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 28156-28165

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


(equal Glove
    (CoveringFn Hand))
Cars.kif 4767-4767 equal Glove and CoveringFn Hand
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 4844-4844 subclass Hat and CoveringFn Head
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4377-4377 subclass Helmet and CoveringFn Head
(subclass Mask
    (CoveringFn Face))
Mid-level-ontology.kif 4797-4797 subclass Mask and CoveringFn Face
(subclass Shirt
    (CoveringFn Torso))
Mid-level-ontology.kif 4956-4956 subclass Shirt and CoveringFn Torso
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 4878-4878 subclass Shoe and CoveringFn Foot
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 4967-4967 subclass Sleeve and CoveringFn Arm
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 4941-4941 subclass Sock and CoveringFn Foot
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 4863-4863 subclass Trousers and CoveringFn 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