TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10407-10407	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 10409-10414
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1671-1674
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10406-10406	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 13512-13512	The values returned by sense impairment are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13532-13532	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 6218-6218	Allergic reaction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6440-6440	Atrophy is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2194-2194	Auto-immune disease is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6453-6453	Bloating is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11746-11746	Choking is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9938-9938	Swelling is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1893-1893	GERD is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6417-6417	Hallucination is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19333-19333	Headache is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11349-11349	Myocardial infarction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4324-4324	Palpitations is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2047-2047	Palpitations is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10448-10448	Injuring is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16441-16441	Insomnia is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19328-19328	Pain is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11409-11409	Pericarditis is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5737-5737	Rash is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11891-11891	Stroke is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5927-5927	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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 766-766

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9931-9931	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 1558-1558	The number 2 argument of pathologic side effect is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10432-10432	The number 2 argument of pathologic symptom is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1949-1949	The number 2 argument of pathologyCandidate is a subclass of pathologic process

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10416-10424	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 11246-11261	If a self connected object is an instance of rib cage 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.	Medicine.kif 3517-3529	If a process is an instance of epidemic and an agent is an involved in event of the process, then an attribute is an instance of disease or syndrome and the attribute is an attribute of the agent or there exists another process such that the other process is an instance of pathologic process and the agent experiences the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5829-5838	If an attribute is an instance of infectious disease and the attribute is an attribute of an agent, then there exist a process and another agent such that the process is an instance of pathologic process and the other 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 6003-6010	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 the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6174-6181	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 the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14964-14969	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

KB Term:			Term intersection

English Word: