Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass PathologicProcess BiologicalProcess) | Merge.kif 10631-10631 | Pathologic process is a subclass of biological process |
| (disjoint PathologicProcess PhysiologicProcess) | Merge.kif 10632-10632 | Pathologic process is disjoint from physiologic process |
| (documentation PathologicProcess EnglishLanguage "A disordered process, activity, or state of the Organism as a whole, of a body system or systems, or of multiple Organs or Tissues. Included here are normal responses to a negative stimulus as well as patholologic conditions or states that are less specific than a disease. Pathologic functions frequently have systemic effects.") | Merge.kif 10634-10639 | Pathologic process is disjoint from physiologic process |
| appearance as argument number 2 |
|
|
| (subclass Injuring PathologicProcess) | Merge.kif 10671-10671 | Injuring is a subclass of pathologic process |
| (rangeSubclass SenseImpairmentFn PathologicProcess) | Merge.kif 13800-13800 | The values returned by sense impairment are subclasses of pathologic process |
| (rangeSubclass SenseInabilityFn PathologicProcess) | Merge.kif 13820-13820 | The values returned by no ability of are subclasses of pathologic process |
| (subclass SkinRash PathologicProcess) | Mid-level-ontology.kif 6857-6857 | Rash is a subclass of pathologic process |
| (subclass TakingIll PathologicProcess) | Mid-level-ontology.kif 7047-7047 | Taking ill is a subclass of pathologic process |
| (subclass AllergicReaction PathologicProcess) | Mid-level-ontology.kif 7338-7338 | Allergic reaction is a subclass of pathologic process |
| (subclass Hallucination PathologicProcess) | Mid-level-ontology.kif 7506-7506 | Hallucination is a subclass of pathologic process |
| (subclass Atrophy PathologicProcess) | Mid-level-ontology.kif 7529-7529 | Atrophy is a subclass of pathologic process |
| (subclass Bloating PathologicProcess) | Mid-level-ontology.kif 7542-7542 | Bloating is a subclass of pathologic process |
| (subclass Edema PathologicProcess) | Mid-level-ontology.kif 11384-11384 | Swelling is a subclass of pathologic process |
| (subclass HeartAttack PathologicProcess) | Mid-level-ontology.kif 12850-12850 | Myocardial infarction is a subclass of pathologic process |
| (subclass Pericarditis PathologicProcess) | Mid-level-ontology.kif 12910-12910 | Pericarditis is a subclass of pathologic process |
| (subclass Choking PathologicProcess) | Mid-level-ontology.kif 13247-13247 | Choking is a subclass of pathologic process |
| (subclass Stroke PathologicProcess) | Mid-level-ontology.kif 13392-13392 | Stroke is a subclass of pathologic process |
| (subclass Pain PathologicProcess) | Mid-level-ontology.kif 21221-21221 | Pain is a subclass of pathologic process |
| (subclass Headache PathologicProcess) | Mid-level-ontology.kif 21226-21226 | Headache is a subclass of pathologic process |
| (subclass Seizure PathologicProcess) | Medicine.kif 1583-1583 | Epileptic seizure is a subclass of pathologic process |
| (subclass GERefluxDisease PathologicProcess) | Medicine.kif 1877-1877 | GERD is a subclass of pathologic process |
| (subclass HeartPalpitations PathologicProcess) | Medicine.kif 2034-2034 | Palpitations is a subclass of pathologic process |
| (subclass Insomnia PathologicProcess) | Medicine.kif 2070-2070 | Insomnia is a subclass of pathologic process |
| (subclass AutoImmuneDisorder PathologicProcess) | Medicine.kif 2200-2200 | Auto-immune disease is a subclass of pathologic process |
| (subclass HeartPalpitation PathologicProcess) | Medicine.kif 4345-4345 | Palpitations is a subclass of pathologic process |
| (subclass Mydriasis PathologicProcess) | emotion.kif 830-830 | Mydriasis is a subclass of pathologic process |
| (subclass Miosis PathologicProcess) | emotion.kif 937-937 | Miosis is a subclass of pathologic process |
| (termFormat EnglishLanguage PathologicProcess "pathologic process") | english_format.kif 1391-1391 | Miosis is a subclass of pathologic process |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domainSubclass pathologicSymptom 2 PathologicProcess) | Merge.kif 10657-10657 | The number 2 argument of pathologic symptom is a subclass of pathologic process |
| (domainSubclass pathologyTreatment 1 PathologicProcess) | Mid-level-ontology.kif 11377-11377 | The number 1 argument of pathology treatment is a subclass of pathologic process |
| (domainSubclass pathologyCandidate 2 PathologicProcess) | Medicine.kif 1934-1934 | The number 2 argument of pathology candidate is a subclass of pathologic process |
| (domainSubclass pathologicSideEffect 2 PathologicProcess) | WMD.kif 1554-1554 | The number 2 argument of pathologic side effect is a subclass of pathologic process |
| antecedent |
|
|
| (=> (and (instance ?PATH PathologicProcess) (experiencer ?PATH ?ORG)) (exists (?PART ?DISEASE) (and (part ?PART ?ORG) (instance ?DISEASE DiseaseOrSyndrome) (attribute ?PART ?DISEASE)))) |
Merge.kif 10641-10649 | If X is an instance of pathologic process and Y experiences X, then there exist Z, W such that Z is a part of Y, W is an instance of disease or syndrome, and W is an attribute of Z |
| (=> (and (instance ?RC RibCage) (part ?RC ?H) (instance ?H Human) (attribute ?H Living) (not (and (instance ?P PathologicProcess) (located ?P ?H)))) (exists (?HT ?LG) (and (instance ?HT Heart) (instance ?HT Lung) (contains ?RC ?LG) (contains ?RC ?HT)))) |
Mid-level-ontology.kif 12743-12758 | If X is an instance of rib cage, X is a part of Y, Y is an instance of human, living is an attribute of Y, and ~{ Z is an instance of pathologic process } or ~{ Z is located at Y }, then there exist W, V such that W is an instance of heart, W is an instance of lung, X contains V, and X contains W |
| consequent |
|
|
| (=> (instance ?STRUCTURE AbnormalAnatomicalStructure) (exists (?PROC) (and (instance ?PROC PathologicProcess) (result ?PROC ?STRUCTURE)))) |
Merge.kif 15251-15256 | If X is an instance of abnormal anatomical structure, then there exists Y such that Y is an instance of pathologic process and X is a result of Y |
| (=> (and (instance ?I InfectiousDisease) (attribute ?A ?I)) (exists (?P ?O) (and (instance ?P PathologicProcess) (agent ?P ?O) (instance ?O Microorganism) (experiencer ?P ?A)))) |
Mid-level-ontology.kif 6949-6958 | If X is an instance of infectious disease and X is an attribute of Y, then there exist Z, W such that Z is an instance of pathologic process, W is an agent of Z, W is an instance of microorganism, and Y experiences Z |
| (=> (attribute ?H Emphysema) (exists (?L ?P) (and (instance ?L Alveolus) (part ?L ?H) (instance ?P PathologicProcess) (eventLocated ?P ?L)))) |
Mid-level-ontology.kif 7123-7130 | If emphysema is an attribute of X, then there exist Y, Z such that Y is an instance of alveolus, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y |
| (=> (attribute ?H Goiter) (exists (?G ?P) (and (instance ?G ThyroidGland) (part ?G ?H) (instance ?P PathologicProcess) (eventLocated ?P ?G)))) |
Mid-level-ontology.kif 7294-7301 | If a goiter is an attribute of X, then there exist Y, Z such that Y is an instance of thyroid gland, Y is a part of X, Z is an instance of pathologic process, and Z is located at Y |
| (=> (and (instance ?E Epidemic) (involvedInEvent ?E ?H)) (or (and (instance ?D DiseaseOrSyndrome) (attribute ?H ?D)) (exists (?P) (and (instance ?P PathologicProcess) (experiencer ?P ?H) (subProcess ?P ?E))))) |
Medicine.kif 3547-3559 | If X is an instance of epidemic and Y is an involved in event of X, then Z is an instance of disease or syndrome and Z is an attribute of Y or there exists W such that W is an instance of pathologic process, Y experiences W, and W is a subprocess of X |
|
