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 | Le nombre 1 argument de ImpairedBodyPartFn est une sous-classe de partie du corps |
(instance ImpairedBodyPartFn UnaryFunction) | Merge.kif 18239-18239 | ImpairedBodyPartFn est une instance de function unaire |
(range ImpairedBodyPartFn DiseaseOrSyndrome) | Merge.kif 18241-18241 | Le domaine de ImpairedBodyPartFn est une instance de maladie ou syndrome |
appearance as argument number 2 |
(termFormat EnglishLanguage ImpairedBodyPartFn "impaired body part fn") | domainEnglishFormat.kif 65021-65021 |
antecedent |
consequent |