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 disease symptom is an instance of disease or syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 The number 2 argument of disease symptom is an instance of disease or syndrome
(instance diseaseSymptom BinaryPredicate) WMD.kif 869-869 disease symptom 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) Merge.kif 10410-10410 pathologic symptom is internally related to disease symptom
(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 Fever is a disease symptom of argentinian hemorrhagic fever
(diseaseSymptom BolivianHemorrhagicFever Fever) WMD.kif 1944-1944 Fever is a disease symptom of bolivian hemorrhagic fever
(diseaseSymptom Botulism Paralysis) WMD.kif 335-335 Paralysis is a disease symptom of botulism
(diseaseSymptom BrazilianHemorrhagicFever Fever) WMD.kif 1964-1964 Fever is a disease symptom of brazilian hemorrhagic fever
(diseaseSymptom Brucellosis Fever) WMD.kif 394-394 Fever is a disease symptom of brucellosis
(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 732-732 Diarrhea is a disease symptom of Covid
(diseaseSymptom Covid19 Fever) VirusProteinAndCellPart.kif 731-731 Fever is a disease symptom of Covid
(diseaseSymptom Covid19 RespiratoryDistress) VirusProteinAndCellPart.kif 733-733 Respiratory distress is a disease symptom of Covid
(diseaseSymptom CrimeanCongoHemorrhagicFever Fever) WMD.kif 1912-1912 Fever is a disease symptom of crimean congo hemorrhagic fever
(diseaseSymptom Diphtheria Fever) WMD.kif 1904-1904 Fever is a disease symptom of diphtheria
(diseaseSymptom EasternEquineEncephalitis Fever) WMD.kif 1698-1698 Fever is a disease symptom of eastern equine encephalitis
(diseaseSymptom Glanders Fever) WMD.kif 365-365 Fever is a disease symptom of glanders
(diseaseSymptom HepatitisA Fever) WMD.kif 1788-1788 Fever is a disease symptom of hepatitis a
(diseaseSymptom Influenza Fever) WMD.kif 1449-1449 Fever is a disease symptom of influenza
(diseaseSymptom LassaFever Fever) WMD.kif 1865-1865 Fever is a disease symptom of lassa fever
(diseaseSymptom Malaria Fever) WMD.kif 1609-1609 Fever is a disease symptom of malaria
(diseaseSymptom ParalyticShellfishPoisoning Paralysis) WMD.kif 1463-1463 Paralysis is a disease symptom of paralytic shellfish poisoning
(diseaseSymptom Plague Fever) WMD.kif 413-413 Fever is a disease symptom of plague
(diseaseSymptom QFever Fever) WMD.kif 1163-1163 Fever is a disease symptom of Q fever
(diseaseSymptom RiftValleyFever Fever) WMD.kif 1424-1424 Fever is a disease symptom of rift valley fever
(diseaseSymptom RotavirusGastroenteritis Fever) WMD.kif 1823-1823 Fever is a disease symptom of rotavirus gastroenteritis
(diseaseSymptom SaintLouisEncephalitis Fever) WMD.kif 1683-1683 Fever is a disease symptom of saint louis encephalitis
(diseaseSymptom Tularemia Fever) WMD.kif 1215-1215 Fever is a disease symptom of tularemia
(diseaseSymptom TyphoidFever Fever) WMD.kif 1358-1358 Fever is a disease symptom of typhoid fever
(diseaseSymptom VenezuelanEquineEncephalitis Fever) WMD.kif 1411-1411 Fever is a disease symptom of venezuelan equine encephalitis

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