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 | |
(instance ImpairedBodyPartFn UnaryFunction) | Merge.kif 18239-18239 | |
(range ImpairedBodyPartFn DiseaseOrSyndrome) | Merge.kif 18241-18241 |
appearance as argument number 2 |
(termFormat EnglishLanguage ImpairedBodyPartFn "impaired body part fn") | domainEnglishFormat.kif 65021-65021 |
antecedent |
consequent |