CoveringFn |
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 |
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 |
![]() |
![]() |