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
-------------------------


s__documentation(s__diseaseSymptom__m,s__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 867-870
s__domain(s__diseaseSymptom__m,n__1,s__DiseaseOrSyndrome)

WMD.kif 865-865 The number 1 argument of disease symptom is an instance of disease or syndrome
s__domain(s__diseaseSymptom__m,n__2,s__DiseaseOrSyndrome)

WMD.kif 866-866 The number 2 argument of disease symptom is an instance of disease or syndrome
s__instance(s__diseaseSymptom__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

WMD.kif 864-864 disease symptom is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__diseaseSymptom__m,'"%2 %n 是 %1 的 dis​​ease 病状"')

domainEnglishFormat.kif 776-776
s__format(s__ChineseTraditionalLanguage,s__diseaseSymptom__m,'"%2 %n 是 %1 的 disease 病狀"')

domainEnglishFormat.kif 775-775
s__format(s__EnglishLanguage,s__diseaseSymptom__m,'"%2 is %n a disease symptom of %1"')

domainEnglishFormat.kif 774-774
s__relatedInternalConcept(s__pathologicSymptom__m,s__diseaseSymptom__m)

Merge.kif 10022-10022 pathologic symptom is internally related to disease symptom
s__termFormat(s__ChineseLanguage,s__diseaseSymptom__m,'"疾病症状"')

domainEnglishFormat.kif 19809-19809
s__termFormat(s__ChineseTraditionalLanguage,s__diseaseSymptom__m,'"疾病症狀"')

domainEnglishFormat.kif 19808-19808
s__termFormat(s__EnglishLanguage,s__diseaseSymptom__m,'"disease symptom"')

domainEnglishFormat.kif 19807-19807

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


( ! [V__AGENT,V__SYNDROME,V__SYMPTOM] :
   (((s__subclass(V__AGENT,s__BiochemicalAgent) &
         s__instance(V__SYNDROME,s__DiseaseOrSyndrome) &
         s__instance(V__SYMPTOM,s__DiseaseOrSyndrome))
       =>
       (((s__biochemicalAgentSyndrome(V__AGENT,V__SYNDROME)
           &
           s__diseaseSymptom(V__SYNDROME,V__SYMPTOM))
       =>
       (s__biochemicalAgentSyndrome(V__AGENT,V__SYMPTOM)))))
)
)

WMD.kif 770-774
No TPTP formula. May not be expressible in strict first order. WMD.kif 872-876

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


s__diseaseSymptom(s__ArgentinianHemorrhagicFever,s__Fever)

WMD.kif 1871-1871 Fever is a disease symptom of argentinian hemorrhagic fever
s__diseaseSymptom(s__BolivianHemorrhagicFever,s__Fever)

WMD.kif 1883-1883 Fever is a disease symptom of bolivian hemorrhagic fever
s__diseaseSymptom(s__Botulism,s__Paralysis)

WMD.kif 335-335 Paralysis is a disease symptom of botulism
s__diseaseSymptom(s__BrazilianHemorrhagicFever,s__Fever)

WMD.kif 1903-1903 Fever is a disease symptom of brazilian hemorrhagic fever
s__diseaseSymptom(s__Brucellosis,s__Fever)

WMD.kif 394-394 Fever is a disease symptom of brucellosis
s__diseaseSymptom(s__Covid19,s__Diarrhea)

VirusProteinAndCellPart.kif 732-732 Diarrhea is a disease symptom of Covid
s__diseaseSymptom(s__Covid19,s__Fever)

VirusProteinAndCellPart.kif 731-731 Fever is a disease symptom of Covid
s__diseaseSymptom(s__Covid19,s__RespiratoryDistress)

VirusProteinAndCellPart.kif 733-733 Respiratory distress is a disease symptom of Covid
s__diseaseSymptom(s__CrimeanCongoHemorrhagicFever,s__Fever)

WMD.kif 1851-1851 Fever is a disease symptom of crimean congo hemorrhagic fever
s__diseaseSymptom(s__Diphtheria,s__Fever)

WMD.kif 1843-1843 Fever is a disease symptom of diphtheria
s__diseaseSymptom(s__EasternEquineEncephalitis,s__Fever)

WMD.kif 1637-1637 Fever is a disease symptom of eastern equine encephalitis
s__diseaseSymptom(s__Glanders,s__Fever)

WMD.kif 365-365 Fever is a disease symptom of glanders
s__diseaseSymptom(s__HepatitisA,s__Fever)

WMD.kif 1727-1727 Fever is a disease symptom of hepatitis a
s__diseaseSymptom(s__Influenza,s__Fever)

WMD.kif 1419-1419 Fever is a disease symptom of influenza
s__diseaseSymptom(s__LassaFever,s__Fever)

WMD.kif 1804-1804 Fever is a disease symptom of lassa fever
s__diseaseSymptom(s__Malaria,s__Fever)

WMD.kif 1547-1547 Fever is a disease symptom of malaria
s__diseaseSymptom(s__ParalyticShellfishPoisoning,s__Paralysis)

WMD.kif 1433-1433 Paralysis is a disease symptom of paralytic shellfish poisoning
s__diseaseSymptom(s__Plague,s__Fever)

WMD.kif 408-408 Fever is a disease symptom of plague
s__diseaseSymptom(s__QFever,s__Fever)

WMD.kif 1149-1149 Fever is a disease symptom of Q fever
s__diseaseSymptom(s__RiftValleyFever,s__Fever)

WMD.kif 1394-1394 Fever is a disease symptom of rift valley fever
s__diseaseSymptom(s__RotavirusGastroenteritis,s__Fever)

WMD.kif 1762-1762 Fever is a disease symptom of rotavirus gastroenteritis
s__diseaseSymptom(s__SaintLouisEncephalitis,s__Fever)

WMD.kif 1622-1622 Fever is a disease symptom of saint louis encephalitis
s__diseaseSymptom(s__Tularemia,s__Fever)

WMD.kif 1201-1201 Fever is a disease symptom of tularemia
s__diseaseSymptom(s__TyphoidFever,s__Fever)

WMD.kif 1343-1343 Fever is a disease symptom of typhoid fever
s__diseaseSymptom(s__VenezuelanEquineEncephalitis,s__Fever)

WMD.kif 1381-1381 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