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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseSymptom

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 872-875
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871
(instance diseaseSymptom BinaryPredicate) WMD.kif 869-869

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
(relatedInternalConcept pathologicSymptom diseaseSymptom) Medicine.kif 6545-6545
(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
-------------------------


(diseaseSymptom ArgentinianHemorrhagicFever Fever) WMD.kif 1932-1932
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1944-1944
(diseaseSymptom Botulism Paralysis) WMD.kif 335-335
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1964-1964
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394
(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 1246-1246
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 1245-1245
(diseaseSymptom Covid19 RespiratoryDistress) VirusProteinAndCellPart.kif 1247-1247
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1912-1912
(diseaseSymptom Diphtheria Fever) WMD.kif 1904-1904
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1698-1698
(diseaseSymptom Glanders Fever) WMD.kif 365-365
(diseaseSymptom HepatitisA Fever) WMD.kif 1788-1788
(diseaseSymptom Hyperferritinemia Inflammation) Medicine.kif 4937-4937
(diseaseSymptom Influenza Fever) WMD.kif 1449-1449
(diseaseSymptom LassaFever Fever) WMD.kif 1865-1865
(diseaseSymptom LymeDisease SkinRash) Medicine.kif 1425-1425
(diseaseSymptom Malaria Fever) WMD.kif 1609-1609
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1463-1463
(diseaseSymptom ParkinsonsDisease
    (ImpairmentFn Walking))
Medicine.kif 4258-4258
(diseaseSymptom Plague Fever) WMD.kif 413-413
(diseaseSymptom QFever Fever) WMD.kif 1163-1163
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1424-1424
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1823-1823
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1683-1683

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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