ImpairedBodyPartFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ImpairedBodyPartFn

ImpairedBodyPartFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18324-18327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18322-18322	The number 1 argument of impaired body part fn is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18321-18321	Impaired body part fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18323-18323	The range of impaired body part fn is an instance of disease or syndrome

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65044-65044

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18329-18339	If impaired body part fn a class is an attribute of an object holds during a time position and the classI is an instance of the class and the classI is a part of the object and the classI has the purpose a formula, then the statement the formula has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1316-1328	If a process is an instance of impacting and an entity is a patient of the process and impaired body part fn brain is an attribute of the entity holds during immediately after the process, then the statement mild traumatic brain injury is an attribute of the entity holds during immediately after the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-703	If a process is an instance of violent contest and an object is a patient of the process and an injury caused by another kind of process is an attribute of the object and impaired body part fn airway is an attribute of the object, then the statement another kind of process is a subclass of burning or there exists an entity such that another entity is an instance of injuring and the other entity is located at a third entity and the third entity is an instance of face and the object is a patient of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1362-1369	If infectious disease is an attribute of an entity and diabetes mellitus is an attribute of the entity and impaired body part fn foot is an attribute of the entity holds during a time position, then infectious disease is disease treatment ertapenem for injecting holds during the time position
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1644-1655	If impaired body part fn myringa is an attribute of an entity holds during a time position, then the statement there doesn't exist the entityEAR such that the entityEAR is an instance of hearing and the time of existence of the entityEAR takes place during the time position and the entity experiences the entityEAR has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3437-3448	If a process is an instance of electrocardiography and an entity is a patient of the process and an agent is an agent of the process and medical doctor is an attribute of the agent, then the process has the purpose the agent knows there exists another entity such that impaired body part fn heart is an attribute of the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1870-1879	If an object is an instance of electrocardiogram and abnormal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1853-1863	If an object is an instance of electrocardiogram and normal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is not an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2304-2309	If a process is an instance of Addison's disease and an agent experiences the process, then impaired body part fn adrenal gland is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2317-2322	If a process is an instance of Graves' disease and an agent experiences the process, then impaired body part fn thyroid gland is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2363-2368	If a process is an instance of Hashimoto's thyroiditis and an agent experiences the process, then impaired body part fn thyroid gland is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2270-2275	If a process is an instance of inflammatory bowel disease and an agent experiences the process, then impaired body part fn GI is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2289-2297	If a process is an instance of ulcerative colitis and an agent experiences the process, then impaired body part fn large intestine is an attribute of the agent or impaired body part fn rectum is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2239-2244	If a process is an instance of MS and an agent experiences the process, then impaired body part fn nervous system is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2406-2411	If a process is an instance of autoimmune vasculitis and an agent experiences the process, then impaired body part fn blood vessel is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2394-2399	If a process is an instance of myasthenia gravis and an agent experiences the process, then impaired body part fn nerve cell is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2347-2355	If a process is an instance of Sjogrens syndrome and an agent experiences the process, then impaired body part fn salivary gland is an attribute of the agent or impaired body part fn lacrymal gland is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5720-5724	If cardiovascular disease is an attribute of an object, then impaired body part fn heart is an attribute of the object or impaired body part fn blood vessel is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1282-1287	If TBI is an attribute of an entity holds during a time position, then impaired body part fn brain is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1706-1712	If a human has an integer/another integer eyesight, then there exists another human such that impaired body part fn eye is not an attribute of the other human and the other human has the other integer/the other integer eyesight

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