| 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 | 疾病症状 的 1 数量 是 疾病或综合症 的 instance |
| (domain diseaseSymptom 2 DiseaseOrSyndrome) | WMD.kif 871-871 | 疾病症状 的 2 数量 是 疾病或综合症 的 instance |
| (instance diseaseSymptom BinaryPredicate) | WMD.kif 869-869 | 疾病症状 是 二元谓语 的 instance |
| 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) | Merge.kif 10424-10424 | pathologicSymptom 和 疾病症状 是 内部相关 |
| (termFormat ChineseLanguage diseaseSymptom "疾病症状") | domainEnglishFormat.kif 19818-19818 | |
| (termFormat ChineseTraditionalLanguage diseaseSymptom "疾病症狀") | domainEnglishFormat.kif 19817-19817 | |
| (termFormat EnglishLanguage diseaseSymptom "disease symptom") | domainEnglishFormat.kif 19816-19816 |
| 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 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners