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 27943-27944
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 27941-27941 domainSubclass CoveringFn, 1 and BodyPart
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 27940-27940 instance CoveringFn and UnaryFunction
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 27942-27942 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 27946-27955

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


(equal Glove
    (CoveringFn Hand))
Cars.kif 4724-4724 equal Glove and CoveringFn Hand
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4334-4334 subclass Helmet and CoveringFn 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 3.0 is open source software produced by Articulate Software and its partners