Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Healthy
|
|
|
| appearance as argument number 1 |
|
|
| (instance Healthy BiologicalAttribute) | Mid-level-ontology.kif 32915-32915 | Healthy is an instance of biological attribute |
| (documentation Healthy EnglishLanguage "The state of not having any DiseaseOrSyndrome.") | Mid-level-ontology.kif 32916-32916 | Healthy is an instance of biological attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Healthy "healthy") | domainEnglishFormat.kif 64975-64975 |
| antecedent |
|
|
| (=> (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 12987-12997 | If X is an instance of vertebrate, Y is an instance of head, Y is a part of X, and healthy is an attribute of X, then there exist Z, W such that Z is an instance of skull, W is a member of Z, and W is a part of Y |
| (=> (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 12999-13008 | If All of the following hold: (1) X is an instance of vertebrate (2) Y is an instance of head (3) Y is a part of X (4) Z is an instance of skull (5) healthy is an attribute of X (6) W is a member of Z (7) W is a part of X, then W is a part of Y |
| (=> (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 13467-13477 | If a X is connected to a Y and healthy is an attribute of Z, then there exist W, V such that W is an instance of X, V is an instance of Y, W is a part of Z, V is a part of Z, and W is connected to V |
| (=> (attribute ?X Healthy) (not (exists (?Y) (and (instance ?Y DiseaseOrSyndrome) (attribute ?X ?Y))))) |
Mid-level-ontology.kif 32918-32924 | If healthy is an attribute of X, then there doesn't exist Y such that Y is an instance of disease or syndrome and Y is an attribute of X |
| (=> (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)))) |
Mid-level-ontology.kif 32926-32937 | If X is an instance of animal, Y is an instance of the Z W, Z is the opposite of V, and healthy is an attribute of X, then there exists U such that U is an instance of the V W and Y is Z to U |
| (=> (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 1461-1470 | If X is an instance of eyebrow, healthy is an attribute of Y, and X is a part of Y, then there exists Z such that Z is an instance of eye, Z is a part of Y, and Z is near to X |
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (memberCount ?E 2)) |
Anatomy.kif 1472-1478 | If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then 2 is a member count of X |
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (exists (?HAIR) (and (instance ?HAIR Hair) (part ?HAIR ?E)))) |
Anatomy.kif 1480-1489 | If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then there exists W such that W is an instance of hair and W is a part of X |
| (=> (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 1491-1503 | If X is an instance of eyebrow, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and X is a part of Y, then there exists W such that W is an instance of eye, W is a part of Y, and X is above to W |
| (=> (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 1510-1522 | If X is an instance of forehead, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and W is a part of Y, then there exists V such that V is an instance of eye, V is a part of Y, and X is above to V |
| (=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 35.0)) |
Anatomy.kif 1539-1546 | If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the length of X is Z centimeter(s), then the approximate value of Z is 35.0 |
| (=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 3.0)) |
Anatomy.kif 1548-1555 | If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 3.0 |
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (length ?ET (MeasureFn ?N Centimeter))) (approximateValue ?N 2.5)) |
Anatomy.kif 1589-1596 | If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the length of X is Z centimeter(s), then the approximate value of Z is 2.5 |
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7)) |
Anatomy.kif 1598-1605 | If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 0.7 |
| (=> (and (instance ?E Eardrum) (part ?E ?H) (experiencer ?HEAR ?H) (attribute ?H Healthy) (instance ?HEAR Hearing)) (instrument ?HEAR ?E)) |
Anatomy.kif 1658-1665 | If X is an instance of myringa, X is a part of Y, Y experiences Z, healthy is an attribute of Y, and Z is an instance of hearing, then X is an instrument for Z |
| (=> (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) (connected ?M ?BP)))) |
Anatomy.kif 1717-1728 | If the origin of X is Y, Z is an instance of human, and healthy is an attribute of Z, then there exist W, V such that W is an instance of X, V is an instance of Y, W is a part of Z, V is a part of Z, and W is connected to V |
| (=> (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 1730-1751 | If All of the following hold: (1) the origin of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is located at R holds during the end of V |
| (=> (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) (connected ?M ?BP)))) |
Anatomy.kif 1767-1778 | If the insertion point of X is Y, Z is an instance of human, and healthy is an attribute of Z, then there exist W, V such that W is an instance of X, V is an instance of Y, W is a part of Z, V is a part of Z, and W is connected to V |
| (=> (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 1780-1802 | If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V |
| (=> (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 1950-1966 | If All of the following hold: (1) ennervates X and Y (2) Z is an instance of X (3) W is an instance of Y (4) Z is a part of V (5) W is a part of V (6) healthy is an attribute of V (7) V is an instance of human, then Z has the purpose there exist U, T such that U is an instance of nerve firing, Z is an instrument for U, Y is an instance of MuscleContraction, W is an instrument for S, and U causes Y |
| (=> (and (attribute ?H Healthy) (restingBreathingRate ?H ?R)) (and (greaterThanOrEqualTo ?R 12) (greaterThanOrEqualTo 16 ?R))) |
Medicine.kif 349-355 | If healthy is an attribute of X and the resting breathing rate of X is Y, then Y is greater than or equal to 12 and 16 is greater than or equal to Y |
| (=> (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 2342-2357 | If All of the following hold: (1) X is an instance of Graves' disease (2) Y experiences X (3) Y is an instance of human (4) Z is an instance of thyroid hormone (5) Z is a part of Y (6) the measure of Z is W V(s) (7) U is an instance of human (8) T is an instance of thyroid hormone (9) T is a part of U (10) the measure of T is S V(s) (11) healthy is an attribute of U, then W is greater than S |
| (=> (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 2388-2403 | If All of the following hold: (1) X is an instance of Hashimoto's thyroiditis (2) Y experiences X (3) Y is an instance of human (4) Z is an instance of thyroid hormone (5) Z is a part of Y (6) the measure of Z is W V(s) (7) U is an instance of human (8) T is an instance of thyroid hormone (9) T is a part of U (10) the measure of T is S V(s) (11) healthy is an attribute of U, then S is greater than W |
| (=> (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 2704-2713 | If All of the following hold: (1) X is an instance of pernicious anemia (2) Y experiences X (3) amount cobalamin, Y and Z W(s) (4) amount cobalamin, V and U W(s) (5) healthy is an attribute of V (6) equal Y and V, then U is greater than Z |
| consequent |
|
|
| (=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (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 357-374 | If X breathes at a rate of Y breaths per Z, Z is an instance of minute, At least one of the following holds: (1) ~{ Y is an instance of recreation or exercise } (2) ~{ X is an agent of Y } (3) ~{ Z takes place during the time of existence of Y }, human adult is an attribute of X holds during Z, and Y is greater than 16 or Y is less than 12, then healthy is not an attribute of X holds during Z |
|