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 では %n
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29712-29712	CoveringFn は 1変数関数の instance では %n
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29714-29714	CoveringFn が返す値は WearableItem の subclasses では %n

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

物理は CoveringFn 体の部分の subclass では %n
物理はエンティティー体の部分I and 物理I エンティティーは覆いの instance では %n 体の部分I は体の部分の instance では %n 物理I は物理の instance では %n エンティティーは体の部分I に ends %n{ない} 物理I はエンティティーの patient では %n の目的 %n{ない}

statement

(equal Glove (CoveringFn Hand))	Cars.kif 4751-4751	Glove は CoveringFn Hand と equal では %n
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 5147-5147	Hat は CoveringFn Head の subclass では %n
(subclass Helmet (CoveringFn Head))	Cars.kif 4368-4368	Helmet は CoveringFn Head の subclass では %n
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5100-5100	Mask は CoveringFn Face の subclass では %n
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 5259-5259	Shirt は CoveringFn Torso の subclass では %n
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 5181-5181	Shoe は CoveringFn Foot の subclass では %n
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 5270-5270	Sleeve は CoveringFn Arm の subclass では %n
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 5244-5244	Sock は CoveringFn Foot の subclass では %n
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 5166-5166	Trousers は CoveringFn Leg の subclass では %n

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

KB Term:			Term intersection

English Word: