Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| diseaseSymptom |
| appearance as argument number 1 |
|
| (instance diseaseSymptom BinaryPredicate) | WMD.kif 864-864 | disease symptom is an instance of binary predicate |
| (domain diseaseSymptom 1 DiseaseOrSyndrome) | WMD.kif 865-865 | The number 1 argument of disease symptom is an instance of disease or syndrome |
| (domain diseaseSymptom 2 DiseaseOrSyndrome) | WMD.kif 866-866 | The number 2 argument of disease symptom is an instance of disease or syndrome |
| (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 867-870 | The number 2 argument of disease symptom is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (biochemicalAgentSyndrome ?AGENT ?SYNDROME) (diseaseSymptom ?SYNDROME ?SYMPTOM)) (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)) |
WMD.kif 770-774 | If X is a biochemical agent syndrome of Y and Z is a disease symptom of X, then Z is a biochemical agent syndrome of Y |
| (=> (diseaseSymptom ?DISEASE ?SYMPTOM) (exists (?ORGANISM) (increasesLikelihood (attribute ?ORGANISM ?DISEASE) (attribute ?ORGANISM ?SYMPTOM)))) |
WMD.kif 872-877 | If X is a disease symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of X is an attribute of Z |
| appearance as argument number 0 |
|
|
|