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 27943-27944 | |
(domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 27941-27941 | domainSubclass CoveringFn, 1 and BodyPart |
(instance CoveringFn UnaryFunction) | Mid-level-ontology.kif 27940-27940 | instance CoveringFn and UnaryFunction |
(rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 27942-27942 | rangeSubclass CoveringFn and WearableItem |
appearance as argument number 2 |
![]() |
(format ChineseLanguage CoveringFn "对于 %1 的 covering ") | domainEnglishFormat.kif 3143-3143 | |
(format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ") | domainEnglishFormat.kif 3142-3142 | |
(format EnglishLanguage CoveringFn "a covering for %1") | domainEnglishFormat.kif 3141-3141 |
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 27946-27955 |
statement |
![]() |
(equal Glove (CoveringFn Hand)) |
Cars.kif 4724-4724 | equal Glove and CoveringFn Hand |
(subclass Helmet (CoveringFn Head)) |
Cars.kif 4334-4334 | subclass Helmet and CoveringFn Head |
![]() |
![]() |