TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 872-875
No TPTP formula. May not be expressible in strict first order.	WMD.kif 870-870	The number 1 argument of disease symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 871-871	The number 2 argument of disease symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 869-869	disease symptom is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 776-776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 775-775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 774-774
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6564-6564	pathologic symptom is internally related to disease symptom
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19827-19827	pathologic symptom is internally related to disease symptom
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19826-19826	pathologic symptom is internally related to disease symptom
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19825-19825	pathologic symptom is internally related to disease symptom

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 775-779	If a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and another disease or syndrome is a disease symptom of the disease or syndrome, then the other disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 877-882	If a disease or syndrome is a disease symptom of another disease or syndrome, then there exists an entity such that the other disease or syndrome is an attribute of the entity increases likelihood of the disease or syndrome is an attribute of the entity

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1932-1932	A fever is a disease symptom of argentinian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1944-1944	A fever is a disease symptom of bolivian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 335-335	Paralysis is a disease symptom of botulism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1964-1964	A fever is a disease symptom of brazilian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 394-394	A fever is a disease symptom of brucellosis
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1253-1253	Diarrhea is a disease symptom of Covid
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1252-1252	A fever is a disease symptom of Covid
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1254-1254	Respiratory distress is a disease symptom of Covid
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1912-1912	A fever is a disease symptom of crimean congo hemorrhagic fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1904-1904	A fever is a disease symptom of diphtheria
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1698-1698	A fever is a disease symptom of eastern equine encephalitis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 365-365	A fever is a disease symptom of glanders
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1788-1788	A fever is a disease symptom of hepatitis A
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4944-4944	Inflammation is a disease symptom of hyperferritinemia
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1449-1449	A fever is a disease symptom of influenza
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1865-1865	A fever is a disease symptom of lassa fever
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1417-1417	Rash is a disease symptom of Lyme disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1609-1609	A fever is a disease symptom of malaria
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1463-1463	Paralysis is a disease symptom of paralytic shellfish poisoning
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4265-4265	Impairment in walking is a disease symptom of Parkinson's
No TPTP formula. May not be expressible in strict first order.	WMD.kif 413-413	A fever is a disease symptom of plague
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1163-1163	A fever is a disease symptom of Q fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1424-1424	A fever is a disease symptom of rift valley fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1823-1823	A fever is a disease symptom of rotavirus gastroenteritis
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1683-1683	A fever is a disease symptom of saint louis encephalitis

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)

KB Term:			Term intersection

English Word: