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 872-875
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 The number 1 argument of diseaseSymptom is an instance of disease or syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 The number 2 argument of diseaseSymptom is an instance of disease or syndrome
(instance diseaseSymptom BinaryPredicate) WMD.kif 869-869 diseaseSymptom is an instance of binary predicate

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 6565-6565 pathologicSymptom is internally related to diseaseSymptom
(termFormat ChineseLanguage diseaseSymptom "疾病症状") domainEnglishFormat.kif 19826-19826 pathologicSymptom is internally related to diseaseSymptom
(termFormat ChineseTraditionalLanguage diseaseSymptom "疾病症狀") domainEnglishFormat.kif 19825-19825 pathologicSymptom is internally related to diseaseSymptom
(termFormat EnglishLanguage diseaseSymptom "disease symptom") domainEnglishFormat.kif 19824-19824 pathologicSymptom is internally related to diseaseSymptom

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 ArgentinianHemorrhagicFever and Fever
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1944-1944 diseaseSymptom BolivianHemorrhagicFever and Fever
(diseaseSymptom Botulism Paralysis) WMD.kif 335-335 diseaseSymptom Botulism and Paralysis
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1964-1964 diseaseSymptom BrazilianHemorrhagicFever and Fever
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394 diseaseSymptom Brucellosis and Fever
(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 1253-1253 diseaseSymptom Covid19 and Diarrhea
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 1252-1252 diseaseSymptom Covid19 and Fever
(diseaseSymptom Covid19 RespiratoryDistress) VirusProteinAndCellPart.kif 1254-1254 diseaseSymptom Covid19 and RespiratoryDistress
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1912-1912 diseaseSymptom CrimeanCongoHemorrhagicFever and Fever
(diseaseSymptom Diphtheria Fever) WMD.kif 1904-1904 diseaseSymptom Diphtheria and Fever
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1698-1698 diseaseSymptom EasternEquineEncephalitis and Fever
(diseaseSymptom Glanders Fever) WMD.kif 365-365 diseaseSymptom Glanders and Fever
(diseaseSymptom HepatitisA Fever) WMD.kif 1788-1788 diseaseSymptom HepatitisA and Fever
(diseaseSymptom Hyperferritinemia Inflammation) Medicine.kif 4944-4944 diseaseSymptom Hyperferritinemia and Inflammation
(diseaseSymptom Influenza Fever) WMD.kif 1449-1449 diseaseSymptom Influenza and Fever
(diseaseSymptom LassaFever Fever) WMD.kif 1865-1865 diseaseSymptom LassaFever and Fever
(diseaseSymptom LymeDisease SkinRash) Medicine.kif 1417-1417 diseaseSymptom LymeDisease and SkinRash
(diseaseSymptom Malaria Fever) WMD.kif 1609-1609 diseaseSymptom Malaria and Fever
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1463-1463 diseaseSymptom ParalyticShellfishPoisoning and Paralysis
(diseaseSymptom ParkinsonsDisease
    (ImpairmentFn Walking))		 Medicine.kif 4265-4265 diseaseSymptom ParkinsonsDisease and ImpairmentFn walking
(diseaseSymptom Plague Fever) WMD.kif 413-413 diseaseSymptom Plague and Fever
(diseaseSymptom QFever Fever) WMD.kif 1163-1163 diseaseSymptom QFever and Fever
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1424-1424 diseaseSymptom RiftValleyFever and Fever
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1823-1823 diseaseSymptom RotavirusGastroenteritis and Fever
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1683-1683 diseaseSymptom SaintLouisEncephalitis and Fever

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