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 18429-18432
(domainSubclass ImpairedBodyPartFn 1 BodyPart)	Merge.kif 18427-18427	The number 1 argument of impaired body part fn is a subclass of body part
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 18426-18426	Impaired body part fn is an instance of unary function
(range ImpairedBodyPartFn DiseaseOrSyndrome)	Merge.kif 18428-18428	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 65014-65014

antecedent

(=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) Likely))	Merge.kif 18434-18444	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 1320-1332	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 689-706	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 1366-1373	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 1678-1689	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 3450-3461	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 1875-1884	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 1858-1868	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 2314-2319	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 2327-2332	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 2373-2378	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 2280-2285	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 2299-2307	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 2249-2254	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 2416-2421	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 2404-2409	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 2357-2365	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 5744-5748	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 1286-1291	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 1711-1717	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