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 29139-29140
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29137-29137
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29136-29136
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29138-29138

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 29142-29151

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4746-4746
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 4874-4874
(subclass Helmet (CoveringFn Head))	Cars.kif 4363-4363
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 4827-4827
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 4986-4986
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 4908-4908
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 4997-4997
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 4971-4971
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 4893-4893

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

KB Term:			Term intersection

English Word: