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 18220-18223 | |
(domainSubclass ImpairedBodyPartFn 1 BodyPart) | Merge.kif 18218-18218 | Le nombre 1 argument de ImpairedBodyPartFn est une sous-classe de partie du corps |
(instance ImpairedBodyPartFn UnaryFunction) | Merge.kif 18217-18217 | ImpairedBodyPartFn est une instance de function unaire |
(range ImpairedBodyPartFn DiseaseOrSyndrome) | Merge.kif 18219-18219 | 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 |