Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseSymptom
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 834-837
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 832-832
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 833-833
(instance diseaseSymptom BinaryPredicate) WMD.kif 831-831

appearance as argument number 2
-------------------------


(format ChineseLanguage diseaseSymptom "%2 %n 是 %1 的 dis​​ease 病状") 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
(termFormat ChineseLanguage diseaseSymptom "疾病症状") domainEnglishFormat.kif 19816-19816
(termFormat ChineseTraditionalLanguage diseaseSymptom "疾病症狀") domainEnglishFormat.kif 19815-19815
(termFormat EnglishLanguage diseaseSymptom "disease symptom") domainEnglishFormat.kif 19814-19814

antecedent
-------------------------


(=>
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYNDROME)
        (diseaseSymptom ?SYNDROME ?SYMPTOM))
    (biochemicalAgentSyndrome ?AGENT ?SYMPTOM))
WMD.kif 770-774
(=>
    (diseaseSymptom ?DISEASE ?SYMPTOM)
    (increasesLikelihood
        (attribute ?ORGANISM ?DISEASE)
        (attribute ?ORGANISM ?SYMPTOM)))
WMD.kif 839-843

appearance as argument number 0
-------------------------


(diseaseSymptom ArgentinianHemorrhagicFever Fever) WMD.kif 1798-1798
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1810-1810
(diseaseSymptom Botulism Paralysis) WMD.kif 335-335
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1830-1830
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394
(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 661-661
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 660-660
(diseaseSymptom Covid19 RespiratoryDistress) VirusProteinAndCellPart.kif 662-662
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1778-1778
(diseaseSymptom Diphtheria Fever) WMD.kif 1770-1770
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1564-1564
(diseaseSymptom Glanders Fever) WMD.kif 365-365
(diseaseSymptom HepatitisA Fever) WMD.kif 1654-1654
(diseaseSymptom Influenza Fever) WMD.kif 1352-1352
(diseaseSymptom LassaFever Fever) WMD.kif 1731-1731
(diseaseSymptom Malaria Fever) WMD.kif 1474-1474
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1366-1366
(diseaseSymptom Plague Fever) WMD.kif 408-408
(diseaseSymptom QFever Fever) WMD.kif 1082-1082
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1327-1327
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1689-1689
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1549-1549
(diseaseSymptom Tularemia Fever) WMD.kif 1134-1134
(diseaseSymptom TyphoidFever Fever) WMD.kif 1276-1276
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1314-1314

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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