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 では %n
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29775-29775	CoveringFn は 1変数関数の instance では %n
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29777-29777	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 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

物理は 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 4728-4728	Glove は CoveringFn Hand と equal では %n
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 5142-5142	Hat は CoveringFn Head の subclass では %n
(subclass Helmet (CoveringFn Head))	Cars.kif 4345-4345	Helmet は CoveringFn Head の subclass では %n
(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 5095-5095	Mask は CoveringFn Face の subclass では %n
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 5254-5254	Shirt は CoveringFn Torso の subclass では %n
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 5176-5176	Shoe は CoveringFn Foot の subclass では %n
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 5265-5265	Sleeve は CoveringFn Arm の subclass では %n
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 5239-5239	Sock は CoveringFn Foot の subclass では %n
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 5161-5161	Trousers は CoveringFn Leg の subclass では %n

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

KB Term:			Term intersection

English Word: