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

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


(format EnglishLanguage CoveringFn "a covering for %1") domainEnglishFormat.kif 794-794

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 27907-27916

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


(equal Glove
    (CoveringFn Hand))
Cars.kif 4714-4714 Glove is equal to a covering for hand
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4324-4324 Helmet is a subclass of a covering for head


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners