TreeView Knowledge Base Browser

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 29778-29779
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29776-29776
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29775-29775
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29777-29777

appearance as argument number 2

(format ChineseLanguage CoveringFn "对于 %1 的 covering ")	domainEnglishFormat.kif 3138-3138
(format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ")	domainEnglishFormat.kif 3137-3137
(format EnglishLanguage CoveringFn "a covering for %1")	domainEnglishFormat.kif 3136-3136
(termFormat EnglishLanguage CoveringFn "Covering fn")	domainEnglishFormat.kif 64713-64713

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 29781-29790

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4728-4728
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 5142-5142
(subclass Helmet (CoveringFn Head))	Cars.kif 4345-4345
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5095-5095
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 5254-5254
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 5176-5176
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 5265-5265
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 5239-5239
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 5161-5161

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

KB Term:			Term intersection

English Word: