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

(documentation ImpairedBodyPartFn EnglishLanguage "A Function that returns an instance of ImpairedBodyPartFn that refers to a particular BodyPart. For example, a broken leg would be a subAttribute of (ImpairedBodyPartFn Leg)")	Merge.kif 18299-18302
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18297-18297	The number 1 argument of impaired body part fn is a subclass of body part
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 18296-18296	Impaired body part fn is an instance of unary function
(range ImpairedBodyPartFn DiseaseOrSyndrome)	Merge.kif 18298-18298	The range of impaired body part fn is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage ImpairedBodyPartFn "impaired body part fn")

domainEnglishFormat.kif 65023-65023

antecedent

(=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) Likely))	Merge.kif 18304-18314	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
(=> (and (instance ?I Impacting) (patient ?I ?H) (holdsDuring (ImmediateFutureFn ?I) (attribute ?H (ImpairedBodyPartFn Brain)))) (modalAttribute (holdsDuring (ImmediateFutureFn ?I) (attribute ?H Concussion)) Likely))	Medicine.kif 1328-1340	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
(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely))	Medicine.kif 698-715	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
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1374-1381	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
(=> (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Eardrum))) (modalAttribute (not (exists (?HEAR) (and (instance ?HEAR Hearing) (during (WhenFn ?HEAR) ?T) (experiencer ?HEAR ?H)))) Likely))	Anatomy.kif 1645-1656	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

(=> (and (instance ?E Electrocardiography) (patient ?E ?H) (agent ?E ?D) (attribute ?D MedicalDoctor)) (hasPurpose ?E (knows ?D (exists (?T) (truth (attribute ?H (ImpairedBodyPartFn Heart)) ?T)))))	Medicine.kif 3449-3460	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
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely))	Medicine.kif 1882-1891	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
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGNormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (not (attribute ?P (ImpairedBodyPartFn Heart))) Likely))	Medicine.kif 1865-1875	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
(=> (and (instance ?IBD AddisonsDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn AdrenalGland)))	Medicine.kif 2316-2321	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
(=> (and (instance ?IBD GravesDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2329-2334	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
(=> (and (instance ?IBD HashimotosThyroiditis) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2375-2380	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
(=> (and (instance ?IBD InflammatoryBowelDisease) (experiencer ?IBD ?H)) (attribute ?H (ImpairedBodyPartFn GastroIntestinalTract)))	Medicine.kif 2282-2287	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
(=> (and (instance ?IBD UlcerativeColitis) (experiencer ?IBD ?H)) (or (attribute ?H (ImpairedBodyPartFn LargeIntestine)) (attribute ?H (ImpairedBodyPartFn Rectum))))	Medicine.kif 2301-2309	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
(=> (and (instance ?MS MultipleSclerosis) (experiencer ?MS ?H)) (attribute ?H (ImpairedBodyPartFn NervousSystem)))	Medicine.kif 2251-2256	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
(=> (and (instance ?SS AutoimmuneVasculitis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn BloodVessel)))	Medicine.kif 2418-2423	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
(=> (and (instance ?SS MyastheniaGravis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn NerveCell)))	Medicine.kif 2406-2411	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
(=> (and (instance ?SS SjogrensSyndrome) (experiencer ?SS ?H)) (or (attribute ?H (ImpairedBodyPartFn SalivaryGland)) (attribute ?H (ImpairedBodyPartFn TearGland))))	Medicine.kif 2359-2367	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
(=> (attribute ?H HeartDisease) (or (attribute ?H (ImpairedBodyPartFn Heart)) (attribute ?H (ImpairedBodyPartFn BloodVessel))))	Medicine.kif 5732-5736	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
(=> (holdsDuring ?T (attribute ?H TraumaticBrainInjury)) (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Brain))))	Medicine.kif 1294-1299	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
(=> (visualAcuity ?H1 ?I1 ?I2) (exists (?H2) (and (not (attribute ?H2 (ImpairedBodyPartFn Eye))) (visualAcuity ?H2 ?I2 ?I2))))	Medicine.kif 1718-1724	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