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 29727-29728 | |
(domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 29725-29725 | Le nombre 1 argument de CoveringFn est une sous-classe de partie du corps |
(instance CoveringFn UnaryFunction) | Mid-level-ontology.kif 29724-29724 | CoveringFn est une instance de function unaire |
(rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 29726-29726 | Les valeurs retourn�es par CoveringFn sont des sous-classes de WearableItem |
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 29730-29739 |
|
statement |
(equal Glove (CoveringFn Hand)) |
Cars.kif 4743-4743 | Glove est CoveringFn Hand |
(subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 5148-5148 | Hat est une sous-classe de CoveringFn Head |
(subclass Helmet (CoveringFn Head)) |
Cars.kif 4360-4360 | Helmet est une sous-classe de CoveringFn Head |
(subclass Mask (CoveringFn Face)) |
Mid-level-ontology.kif 5101-5101 | Mask est une sous-classe de CoveringFn Face |
(subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 5260-5260 | Shirt est une sous-classe de CoveringFn Torso |
(subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 5182-5182 | Shoe est une sous-classe de CoveringFn Foot |
(subclass Sleeve (CoveringFn Arm)) |
Mid-level-ontology.kif 5271-5271 | Sleeve est une sous-classe de CoveringFn Arm |
(subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 5245-5245 | Sock est une sous-classe de CoveringFn Foot |
(subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 5167-5167 | Trousers est une sous-classe de CoveringFn Leg |