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 29135-29136
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29133-29133
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29132-29132
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29134-29134

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 29138-29147

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


(equal Glove
    (CoveringFn Hand))
Cars.kif 4746-4746
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 4870-4870
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4363-4363
(subclass Mask
    (CoveringFn Face))
Mid-level-ontology.kif 4823-4823
(subclass Shirt
    (CoveringFn Torso))
Mid-level-ontology.kif 4982-4982
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 4904-4904
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 4993-4993
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 4967-4967
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 4889-4889


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