TreeView Knowledge Base Browser - DiseaseOrSyndrome

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

DiseaseOrSyndrome

Sigma KEE - DiseaseOrSyndrome

DiseaseOrSyndrome(disease or syndrome)

AAA, ADA-SCID, ADD, ADHD, ALS, AMD, ARDS, Addison's_disease, Addison's_syndrome, Albers-Schonberg_disease, Aleppo_boil, Alpine_scurvy, American_leishmaniasis, Assam_fever, BSE, Banti's_disease, Banti's_syndrome, Becker_muscular_dystrophy, Bright's_disease, Broca's_aphasia, CF, CJD, CVA, Charcot-Marie-Tooth_disease, Christmas_disease, Cooley's_anaemia, Cooley's_anemia, Creutzfeldt-Jakob_disease, Cupid's_disease, Cupid's_itch, Cushing's_disease, Cushing's_syndrome, DLE, DM, Daltonism, Darier's_disease, Delhi_boil, Down's_syndrome, Down_syndrome, Duchenne's_muscular_dystrophy, Dutch_elm_disease, ED, ENL, Eaton-Lambert_syndrome, Ewing's_sarcoma, Ewing's_tumor, Ewing's_tumour, Fallot's_syndrome, Fallot's_tetralogy, Fanconi's_anaemia...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4029-4031
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16937-16940
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16936-16936	Disease or syndrome is a subclass of biological attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28471-28471	Healthy is the opposite of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6116-6116	Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6023-6023	Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6028-6028	Emphysema is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6041-6041	Fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1010-1010	Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6056-6056	Goiter is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	People.kif 478-478	Hiv aids is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1024-1024	Paralysis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 663-663	Respiratory distress is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1260-1260	Acquired immuno deficiency syndrome is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17560-17560	Disability is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5986-5986	Infectious disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 978-978	Life threatening disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5968-5968	Nonspecific disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17022-17022	Psychological dysfunction is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1275-1275	Typhoid fever is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1261-1261
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1748-1748

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	WMD.kif 757-757	The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1427-1427	The number 1 argument of disease incubation is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 846-846	The number 1 argument of disease mortality is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 832-832	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 833-833	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 890-890	The number 1 argument of disease treatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 670-670	The number 2 argument of medicine is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1437-1437	The number 2 argument of side effect is an instance of disease or syndrome

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2622-2635	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a process and an entity such that the process is an instance of biological process and the process is an instance of removing and the process originates at the agent and the entity is an instance of sewage and the agent is an agent of the process and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10390-10403	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of foot and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10363-10376	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of leg and the third object is an instance of leg and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9573-9586	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of lung and the third object is an instance of lung and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1198-1211	If an object is an instance of VocalCords and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of VocalFold and the third object is an instance of VocalFold and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9824-9832	If a process is an instance of pathologic process and an agent experiences the process, then there exist an object and an attribute such that the object is a part of the agent and the attribute is an instance of disease or syndrome and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6077-6089	If a process is an instance of recovering from illness and an agent experiences the process, then there exists an entity such that the entity is an instance of disease or syndrome and the entity is an attribute of the agent holds during the beginning of the time of existence of a physical and the entity is not an attribute of the agent holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6005-6017	If a process is an instance of taking ill and an agent experiences the process, then there exists an entity such that the entity is an instance of disease or syndrome and the entity is not an attribute of the agent holds during the beginning of the time of existence of the process and the entity is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1896-1911	If a physical is an instance of ambulance, then the physical purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exists a third entity such that the third entity is an instance of injuring and a fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other entity

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