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 29715-29716
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 29713-29713	CoveringFn 的 1 数量是身体部位的 subclass
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29712-29712	CoveringFn 是一元函数的 instance
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29714-29714	CoveringFn 的所得值是可穿戴物品的 subclass

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 64711-64711

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 29718-29727

如果物理是对于有点身体部位的 covering 的 subclass，
然后那个物理的目的是有存在实体，有点身体部位I， and 和那个物理I 这样那个实体是遮盖的 instance 和那个有点身体部位I 是那个有点身体部位的 instance 和那个物理I 是那个物理的 instance 和那个实体在那个有点身体部位I 结束和那个物理I 是那个实体的 patient

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4751-4751	手套 equal 对于手的 covering
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 5147-5147	帽子是对于头的 covering 的 subclass
(subclass Helmet (CoveringFn Head))	Cars.kif 4368-4368	Helmet 是对于头的 covering 的 subclass
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5100-5100	Mask 是对于面对的 covering 的 subclass
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 5259-5259	衬衫是对于躯干的 covering 的 subclass
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 5181-5181	鞋是对于足的 covering 的 subclass
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 5270-5270	袖是对于臂的 covering 的 subclass
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 5244-5244	袜子是对于足的 covering 的 subclass
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 5166-5166	长裤是对于腿的 covering 的 subclass

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

KB Term:			Term intersection

English Word: