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	CoveringFn 的 1 数量是身体部位的 subclass
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29775-29775	CoveringFn 是一元函数的 instance
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29777-29777	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 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

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

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4728-4728	手套 equal 对于手的 covering
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 5142-5142	帽子是对于头的 covering 的 subclass
(subclass Helmet (CoveringFn Head))	Cars.kif 4345-4345	Helmet 是对于头的 covering 的 subclass
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5095-5095	Mask 是对于面对的 covering 的 subclass
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 5254-5254	衬衫是对于躯干的 covering 的 subclass
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 5176-5176	鞋是对于足的 covering 的 subclass
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 5265-5265	袖是对于臂的 covering 的 subclass
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 5239-5239	袜子是对于足的 covering 的 subclass
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 5161-5161	长裤是对于腿的 covering 的 subclass

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

KB Term:			Term intersection

English Word: