TreeView Knowledge Base Browser - PathologicProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PathologicProcess

Sigma KEE - PathologicProcess

PathologicProcess(pathologic process)

Adams-Stokes_syndrome, Albright's_disease, Arnold-Chiari_deformity, BPH, Bosin's_disease, Chinese_restaurant_syndrome, Conn's_syndrome, Crohn's_disease, Dawson's_encephalitis, Ekbom_syndrome, FAS, Gilles_de_la_Tourette_syndrome, Gulf_War_syndrome, Horner's_syndrome, Kayser-Fleischer_ring, Kernig's_sign, Koplik's_spots, Marie-Strumpell_disease, Munchausen's_syndrome, Munchausen_syndrome, Noonan's_syndrome, PMS, PVC, Paget's_disease, Persian_Gulf_illness, Ramsay_Hunt_syndrome, Raynaud's_sign, Reiter's_disease, Reiter's_syndrome, Reye's_syndrome, SOB, SSPE, Stokes-Adams_syndrome, TSS, Thomsen's_disease, Tietze's_syndrome, Tourette's_syndrome, Van_Bogaert_encephalitis, Waterhouse-Friderichsen_syndrome, Williams_syndrome, Zollinger-Ellison_syndrome, abiotrophy, achlorhydria, achylia, achylia_gastrica, acrocyanosis, acromegalia, acromegaly, acromyotonia, acute_hemorrhagic_encephalitis...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10292-10292	Pathologic process is disjoint from physiologic process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2922-2924
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10294-10299
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10291-10291	Pathologic process is a subclass of biological process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13244-13244	The values returned by sense impairment are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13264-13264	The values returned by no ability of are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5899-5899	AllergicReaction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6110-6110	Atrophy is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6123-6123	Bloating is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11228-11228	Choking is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9507-9507	Swelling is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6087-6087	Hallucination is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18705-18705	Headache is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10849-10849	Myocardial infarction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10331-10331	Injuring is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15882-15882	Insomnia is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18700-18700	Pain is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10909-10909	Pericarditis is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5422-5422	Rash is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11373-11373	Stroke is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5610-5610	Taking ill is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1088-1088
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1387-1387

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9500-9500	The number 1 argument of pathology treatment is an instance of pathologic process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1549-1549	The number 2 argument of pathologicSideEffect is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10317-10317	The number 2 argument of pathologic symptom is a subclass of pathologic process

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10301-10309	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 10749-10764	If a self connected object is an instance of RibCage and the self connected object is a part of an object and the object is an instance of human and living is an attribute of the object and ~{ a physical is an instance of pathologic process } or ~{ the physical is located at the object }, then there exist the objectT and a third object such that the objectT is an instance of heart and the objectT is an instance of lung and the self connected object contains the third object and the self connected object contains the objectT

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5512-5521	If an attribute is an instance of infectious disease and the attribute is an attribute of an agent, then there exists a process such that the process is an instance of pathologic process and another agent is an agent of the process and the other agent is an instance of microorganism and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5684-5691	If emphysema is an attribute of an object, then there exist another object and a process such that the other object is an instance of alveolus and the other object is a part of the object and the process is an instance of pathologic process and the process is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5855-5862	If goiter is an attribute of an object, then there exist another object and a process such that the other object is an instance of thyroid gland and the other object is a part of the object and the process is an instance of pathologic process and the process is located at 2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14672-14677	If an entity is an instance of abnormal anatomical structure, then there exists a process such that the process is an instance of pathologic process and the entity is a result of the process

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