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 31648-31649 | |
(domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 31646-31646 | CoveringFn の数値 1 引数は 体の部分 のsubclass では %n |
(instance CoveringFn UnaryFunction) | Mid-level-ontology.kif 31645-31645 | CoveringFn は 1変数関数 の instance では %n |
(rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 31647-31647 | CoveringFn が返す値は WearableItem の subclasses では %n |
appearance as argument number 2 |
![]() |
(format ChineseLanguage CoveringFn "对于 %1 的 covering ") | domainEnglishFormat.kif 3134-3134 | |
(format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ") | domainEnglishFormat.kif 3133-3133 | |
(format EnglishLanguage CoveringFn "a covering for %1") | domainEnglishFormat.kif 3132-3132 | |
(termFormat EnglishLanguage CoveringFn "Covering fn") | domainEnglishFormat.kif 64705-64705 |
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 31651-31660 |
statement |
![]() |
(equal Glove (CoveringFn Hand)) |
Cars.kif 4804-4804 | Glove は CoveringFn Hand と equal では %n |
(subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 6085-6085 | Hat は CoveringFn Head の subclass では %n |
(subclass Helmet (CoveringFn Head)) |
Cars.kif 4421-4421 | Helmet は CoveringFn Head の subclass では %n |
(subclass Mask (CoveringFn Face)) |
Mid-level-ontology.kif 6038-6038 | Mask は CoveringFn Face の subclass では %n |
(subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 6197-6197 | Shirt は CoveringFn Torso の subclass では %n |
(subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 6119-6119 | Shoe は CoveringFn Foot の subclass では %n |
(subclass Sleeve (CoveringFn Arm)) |
Mid-level-ontology.kif 6208-6208 | Sleeve は CoveringFn Arm の subclass では %n |
(subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 6182-6182 | Sock は CoveringFn Foot の subclass では %n |
(subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 6104-6104 | Trousers は CoveringFn Leg の subclass では %n |
![]() |
![]() |