TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Healthy EnglishLanguage "The state of not having any DiseaseOrSyndrome.")	Mid-level-ontology.kif 32202-32202
(instance Healthy BiologicalAttribute)	Mid-level-ontology.kif 32201-32201	Healthy is an instance of biological attribute

appearance as argument number 2

(termFormat EnglishLanguage Healthy "healthy")

domainEnglishFormat.kif 64966-64966

antecedent

(=> (and (attribute ?H Healthy) (restingBreathingRate ?H ?R)) (and (greaterThanOrEqualTo ?R 12) (greaterThanOrEqualTo 16 ?R)))	Medicine.kif 347-353	If healthy is an attribute of a mammal and the resting breathing rate of the mammal is an integer, then the integer is greater than or equal to 12 and 16 is greater than or equal to the integer
(=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?H) (part ?BI ?H) (connected ?AI ?BI))))	Mid-level-ontology.kif 13298-13308	If a a kind of body part is connected to a another kind of body part and healthy is an attribute of an object, then there exist a kind of body partI and another kind of body partI such that the kind of body partI is an instance of the kind of body part and the other kind of body partI is an instance of the other kind of body part and the kind of body partI is a part of the object and the other kind of body partI is a part of the object and the kind of body partI is connected to the other kind of body partI
(=> (and (ennervates ?NC ?MC) (instance ?N ?NC) (instance ?M ?MC) (part ?N ?H) (part ?M ?H) (attribute ?H Healthy) (instance ?H Human)) (hasPurpose ?N (exists (?NF ?C) (and (instance ?NF NerveFiring) (instrument ?NF ?N) (instance ?MC MuscleContraction) (instrument ?MV ?M) (causes ?NF ?MC)))))	Anatomy.kif 1962-1978	If ennervates a kind of nerve and a kind of muscle and an object is an instance of a kind of nerve and another object is an instance of a kind of muscle and the object is a part of a third object and the other object is a part of the third object and healthy is an attribute of the third object and the third object is an instance of human, then the object has the purpose there exist the objectF and another entity such that the objectF is an instance of nerve firing and the object is an instrument for the objectF and the kind of muscle is an instance of MuscleContraction and the other object is an instrument for the other objectV and the objectF causes the kind of muscle
(=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S))))	Merge.kif 15117-15128	If an object is an instance of animal and another object is an instance of the an anti_symmetric positional attribute a kind of body part and the anti_symmetric positional attribute is the opposite of the anti_symmetric positional attributeO and healthy is an attribute of the object, then there exists the other objectO such that the other objectO is an instance of the the anti_symmetric positional attributeO a kind of body part and the other object is the anti_symmetric positional attribute to the other objectO
(=> (and (instance ?E Eardrum) (part ?E ?H) (experiencer ?HEAR ?H) (attribute ?H Healthy) (instance ?HEAR Hearing)) (instrument ?HEAR ?E))	Anatomy.kif 1671-1678	If an object is an instance of myringa and the object is a part of an agent and the agent experiences the agentEAR and healthy is an attribute of the agent and the agentEAR is an instance of hearing, then the object is an instrument for the agentEAR
(=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (exists (?HAIR) (and (instance ?HAIR Hair) (part ?HAIR ?E))))	Anatomy.kif 1493-1502	If a collection is an instance of eyebrow and healthy is an attribute of an object and the collection is a part of the object and a physical is a member of the collection, then there exists the objectAIR such that the objectAIR is an instance of hair and the objectAIR is a part of the collection
(=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (memberCount ?E 2))	Anatomy.kif 1485-1491	If a collection is an instance of eyebrow and healthy is an attribute of an object and the collection is a part of the object and a physical is a member of the collection, then 2 is a member count of the collection
(=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?EYE ?E Near))))	Anatomy.kif 1474-1483	If an object is an instance of eyebrow and healthy is an attribute of another object and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the objectYE is near to the object
(=> (and (instance ?E Eyebrow) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?E ?EYE Above))))	Anatomy.kif 1504-1516	If an object is an instance of eyebrow and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the object is above to the objectYE
(=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7))	Anatomy.kif 1611-1618	If a circle is an instance of auditory canal and the circle is a part of an object and healthy is an attribute of the object and the diameter of the circle is a real number millimeter(s), then the approximate value of the real number is 0.7
(=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5))	Anatomy.kif 1602-1609	If an object is an instance of auditory canal and the object is a part of another object and healthy is an attribute of the other object and the length of the object is a real number centimeter(s), then the approximate value of the real number is 2.5
(=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 3.0))	Anatomy.kif 1561-1568	If a circle is an instance of Eustachian tube and the circle is a part of an object and healthy is an attribute of the object and the diameter of the circle is a real number millimeter(s), then the approximate value of the real number is 3.0
(=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 35.0))	Anatomy.kif 1552-1559	If an object is an instance of Eustachian tube and the object is a part of another object and healthy is an attribute of the other object and the length of the object is a real number centimeter(s), then the approximate value of the real number is 35.0
(=> (and (instance ?F Forehead) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?F ?EYE Above))))	Anatomy.kif 1523-1535	If an object is an instance of forehead and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and a third object is a part of the other object, then there exists the third objectYE such that the third objectYE is an instance of eye and the third objectYE is a part of the other object and the object is above to the third objectYE
(=> (and (instance ?IBD GravesDisease) (experiencer ?IBD ?H1) (instance ?H1 Human) (instance ?T1 ThyroidHormone) (part ?T1 ?H1) (measure ?T1 (MeasureFn ?N1 ?U)) (instance ?H2 Human) (instance ?T2 ThyroidHormone) (part ?T2 ?H2) (measure ?T2 (MeasureFn ?N2 ?U)) (attribute ?H2 Healthy)) (greaterThan ?N1 ?N2))	Medicine.kif 2334-2349	If a process is an instance of Graves' disease and an agent experiences the process and the agent is an instance of human and an object is an instance of thyroid hormone and the object is a part of the agent and the measure of the object is a real number an unit of measure(s) and another object is an instance of human and a third object is an instance of thyroid hormone and the third object is a part of the other object and the measure of the third object is another real number the unit of measure(s) and healthy is an attribute of the other object, then the real number is greater than the other real number
(=> (and (instance ?IBD HashimotosThyroiditis) (experiencer ?IBD ?H1) (instance ?H1 Human) (instance ?T1 ThyroidHormone) (part ?T1 ?H1) (measure ?T1 (MeasureFn ?N1 ?U)) (instance ?H2 Human) (instance ?T2 ThyroidHormone) (part ?T2 ?H2) (measure ?T2 (MeasureFn ?N2 ?U)) (attribute ?H2 Healthy)) (greaterThan ?N2 ?N1))	Medicine.kif 2380-2395	If a process is an instance of Hashimoto's thyroiditis and an agent experiences the process and the agent is an instance of human and an object is an instance of thyroid hormone and the object is a part of the agent and the measure of the object is a real number an unit of measure(s) and another object is an instance of human and a third object is an instance of thyroid hormone and the third object is a part of the other object and the measure of the third object is another real number the unit of measure(s) and healthy is an attribute of the other object, then the other real number is greater than the real number
(=> (and (instance ?P PerniciousAnemia) (experiencer ?P ?H1) (amount VitaminB12 ?H1 (MeasureFn ?N1 ?U)) (amount VitaminB12 ?H2 (MeasureFn ?N2 ?U)) (attribute ?H2 Healthy) (not (equal ?H1 ?H2))) (greaterThan ?N2 ?N1))	Medicine.kif 2696-2705	If a process is an instance of pernicious anemia and an agent experiences the process and amount cobalamin, the agent and a real number an unit of measure(s) and amount cobalamin, a corpuscular object and another real number the unit of measure(s) and healthy is an attribute of the corpuscular object and the agent is not equal to the corpuscular object, then the other real number is greater than the real number
(=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (attribute ?V Healthy)) (exists (?S ?B) (and (instance ?S Skull) (member ?B ?S) (part ?B ?H))))	Mid-level-ontology.kif 12818-12828	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and healthy is an attribute of the object, then there exist a collection and a third object such that the collection is an instance of skull and the third object is a member of the collection and the third object is a part of the other object
(=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (instance ?S Skull) (attribute ?V Healthy) (member ?B ?S) (part ?B ?V)) (part ?B ?H))	Mid-level-ontology.kif 12830-12839	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and a collection is an instance of skull and healthy is an attribute of the object and a third object is a member of the collection and the third object is a part of the object, then the third object is a part of the other object
(=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (attribute ?H Healthy)) (exists (?M ?BP) (and (instance ?M ?MC) (instance ?BP ?BPC) (part ?M ?H) (part ?BP ?H) (connects ?M ?BP))))	Anatomy.kif 1780-1791	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
(=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (not (located ?E ?L))))	Anatomy.kif 1793-1815	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
(=> (and (muscleOrigin ?MC ?BPC) (instance ?H Human) (attribute ?H Healthy)) (exists (?M ?BP) (and (instance ?M ?MC) (instance ?BP ?BPC) (part ?M ?H) (part ?BP ?H) (connects ?M ?BP))))	Anatomy.kif 1730-1741	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
(=> (and (muscleOrigin ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (located ?E ?L)))	Anatomy.kif 1743-1764	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval
(=> (attribute ?X Healthy) (not (exists (?Y) (and (instance ?Y DiseaseOrSyndrome) (attribute ?X ?Y)))))	Mid-level-ontology.kif 32204-32210	If healthy is an attribute of an object, then there doesn't exist an attribute such that the attribute is an instance of disease or syndrome and the attribute is an attribute of the object

consequent

(=>
    (and
        (breathingRate ?H ?T ?R)
        (instance ?T Minute)
        (not
            (exists (?R)
                (and
                    (instance ?R RecreationOrExercise)
                    (agent ?R ?H)
                    (during ?T
                        (WhenFn ?R)))))
        (holdsDuring ?T
            (attribute ?H HumanAdult))
        (or
            (greaterThan ?R 16)
            (lessThan ?R 12)))
    (holdsDuring ?T
        (not
            (attribute ?H Healthy))))

Medicine.kif 355-373

If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12,
then healthy is not an attribute of the agent holds during the time interval

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: