diseaseSymptom |
appearance as argument number 1 |
(documentation diseaseSymptom EnglishLanguage "(diseaseSymptom ?DISEASE ?SYMPTOM) means that DiseaseOrSyndrome ?DISEASE is often associated with the DiseaseOrSyndrome ?SYMPTOM, i.e. an Organism which suffers from ?DISEASE is more likely to suffer from ?SYMPTOM than one which does not.") | WMD.kif 872-875 | |
(domain diseaseSymptom 1 DiseaseOrSyndrome) | WMD.kif 870-870 | The number 1 argument of disease symptom is an instance of disease or syndrome |
(domain diseaseSymptom 2 DiseaseOrSyndrome) | WMD.kif 871-871 | The number 2 argument of disease symptom is an instance of disease or syndrome |
(instance diseaseSymptom BinaryPredicate) | WMD.kif 869-869 | disease symptom is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage diseaseSymptom "%2 %n 是 %1 的 disease 病状") | domainEnglishFormat.kif 776-776 | |
(format ChineseTraditionalLanguage diseaseSymptom "%2 %n 是 %1 的 disease 病狀") | domainEnglishFormat.kif 775-775 | |
(format EnglishLanguage diseaseSymptom "%2 is %n a disease symptom of %1") | domainEnglishFormat.kif 774-774 | |
(relatedInternalConcept pathologicSymptom diseaseSymptom) | Medicine.kif 6545-6545 | pathologic symptom is internally related to disease symptom |
(termFormat ChineseLanguage diseaseSymptom "疾病症状") | domainEnglishFormat.kif 19829-19829 | pathologic symptom is internally related to disease symptom |
(termFormat ChineseTraditionalLanguage diseaseSymptom "疾病症狀") | domainEnglishFormat.kif 19828-19828 | pathologic symptom is internally related to disease symptom |
(termFormat EnglishLanguage diseaseSymptom "disease symptom") | domainEnglishFormat.kif 19827-19827 | pathologic symptom is internally related to disease symptom |
antecedent |
(=> (and (biochemicalAgentSyndrome ?AGENT ?SYNDROME) (diseaseSymptom ?SYNDROME ?SYMPTOM)) (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)) |
WMD.kif 775-779 |
|
(=> (diseaseSymptom ?DISEASE ?SYMPTOM) (exists (?ORGANISM) (increasesLikelihood (attribute ?ORGANISM ?DISEASE) (attribute ?ORGANISM ?SYMPTOM)))) |
WMD.kif 877-882 |
|
appearance as argument number 0 |