ImpairedBodyPartFn |
appearance as argument number 1 |
(documentation ImpairedBodyPartFn EnglishLanguage "A Function that returns an instance of ImpairedBodyPartFn that refers to a particular BodyPart. For example, a broken leg would be a subAttribute of (ImpairedBodyPartFn Leg)") | Merge.kif 18242-18245 | |
(domainSubclass ImpairedBodyPartFn 1 BodyPart) | Merge.kif 18240-18240 | The number 1 argument of impaired body part fn is a subclass of body part |
(instance ImpairedBodyPartFn UnaryFunction) | Merge.kif 18239-18239 | Impaired body part fn is an instance of unary function |
(range ImpairedBodyPartFn DiseaseOrSyndrome) | Merge.kif 18241-18241 | The range of impaired body part fn is an instance of disease or syndrome |
appearance as argument number 2 |
(termFormat EnglishLanguage ImpairedBodyPartFn "impaired body part fn") | domainEnglishFormat.kif 65021-65021 |
antecedent |
consequent |