![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChronicDisease(chronic disease) |
| appearance as argument number 1 |
|
|
| (subclass ChronicDisease DiseaseOrSyndrome) | Mid-level-ontology.kif 7025-7025 | Chronic disease is a subclass of disease or syndrome |
| (documentation ChronicDisease EnglishLanguage "A chronic condition is a human health condition or disease that is persistent or otherwise long-lasting in its effects or a disease that comes with time. The term chronic is often applied when the course of the disease lasts for more than three months. Common chronic diseases include arthritis, asthma, cancer, chronic obstructive pulmonary disease, diabetes, Lyme disease, autoimmune diseases, genetic disorders and some viral diseases such as hepatitis C and acquired immunodeficiency syndrome. [from Wikipedia]") | Mid-level-ontology.kif 7027-7035 | Chronic disease is a subclass of disease or syndrome |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (holdsDuring ?T (attribute ?H ?C)) (instance ?H ChronicDisease) (duration ?T ?D)) (greaterThan ?D (MeasureFn 3 MonthDuration))) |
Mid-level-ontology.kif 7038-7045 | If X is an attribute of Y holds during Z, Y is an instance of chronic disease, and duration of Z is W, then W is greater than 3 month duration(s) |