PepticUlcers |
appearance as argument number 1 |
(documentation PepticUlcers EnglishLanguage "The presence of Ulcers in the Stomach.") | Medicine.kif 4966-4967 | |
(instance PepticUlcers DiseaseOrSyndrome) | Medicine.kif 4965-4965 | PepticUlcers 是 疾病或综合症 的 instance |
appearance as argument number 2 |
(diseaseMedicine Nizatidine PepticUlcers Ingesting) | Medicine.kif 4968-4968 | Nizatidine 是 对于 消化 的 disease 治愈 PepticUlcers |
(termFormat EnglishLanguage PepticUlcers "peptic ulcers") | Medicine.kif 4969-4969 | |
(termFormat EnglishLanguage PepticUlcers "stomach ulcers") | Medicine.kif 4970-4970 |
antecedent |
(=> (attribute ?H PepticUlcers) (exists (?S ?U) (and (instance ?S Stomach) (instance ?U Ulcer) (part ?S ?H) (located ?U ?S)))) |
Medicine.kif 4972-4979 |