|
|
   DiseaseOrSyndrome
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DiseaseOrSyndrome ChineseLanguage "这是一种 BiologicalAttribute，当中它的出现 表示有某些东西正在干扰或改变 Organism 的正常的过程、状态或活动。它的特征通常是主体的一个或多个系统、部分 或 Organ 功能失常。") | chinese_format.kif 4029-4031 | |
| (documentation DiseaseOrSyndrome EnglishLanguage "A BiologicalAttribute which qualifies something that alters or interferes with a normal process, state or activity of an Organism. It is usually characterized by the abnormal functioning of one or more of the host's systems, parts, or Organs.") | Merge.kif 18093-18096 | |
| (subclass DiseaseOrSyndrome BiologicalAttribute) | Merge.kif 18092-18092 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) | WMD.kif 762-762 | |
| (domain diseaseIncubation 1 DiseaseOrSyndrome) | WMD.kif 1530-1530 | |
| (domain diseaseMortality 1 DiseaseOrSyndrome) | WMD.kif 885-885 | |
| (domain diseaseSymptom 1 DiseaseOrSyndrome) | WMD.kif 870-870 | |
| (domain diseaseSymptom 2 DiseaseOrSyndrome) | WMD.kif 871-871 | |
| (domain diseaseTreatment 1 DiseaseOrSyndrome) | WMD.kif 932-932 | |
| (domain medicine 2 DiseaseOrSyndrome) | Mid-level-ontology.kif 9593-9593 | |
| (domain pathologicSymptom 1 DiseaseOrSyndrome) | Merge.kif 10393-10393 | |
| (domain sideEffect 2 DiseaseOrSyndrome) | WMD.kif 1540-1540 |
| antecedent |
|
|
| (=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2134-2147 | |
| (=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Foot) (instance ?L2 Foot) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 12580-12593 | |
| (=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 12553-12566 | |
| (=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Lung) (instance ?L2 Lung) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H)))) |
Mid-level-ontology.kif 11087-11100 | |
| (=> (and (instance ?V VocalCords) (instance ?D DiseaseOrSyndrome) (not (attribute ?V ?D))) (exists (?F1 ?F2) (and (instance ?F1 VocalFold) (instance ?F2 VocalFold) (not (equal ?F1 ?F2)) (part ?F1 ?V) (part ?F2 ?V)))) |
Mid-level-ontology.kif 781-794 |
| consequent |
|
|
| (=> (and (instance ?PATH PathologicProcess) (experiencer ?PATH ?ORG)) (exists (?PART ?DISEASE) (and (part ?PART ?ORG) (instance ?DISEASE DiseaseOrSyndrome) (attribute ?PART ?DISEASE)))) |
Merge.kif 10378-10386 | |
| (=> (and (instance ?R RecoveringFromIllness) (experiencer ?R ?A)) (exists (?D) (and (instance ?D DiseaseOrSyndrome) (holdsDuring (BeginFn (WhenFn ?D)) (attribute ?A ?D)) (holdsDuring (EndFn (WhenFn ?D)) (not (attribute ?A ?D)))))) |
Mid-level-ontology.kif 6219-6232 | |
| (=> (and (instance ?T TakingIll) (experiencer ?T ?A)) (exists (?D) (and (instance ?D DiseaseOrSyndrome) (holdsDuring (BeginFn (WhenFn ?T)) (not (attribute ?A ?D))) (holdsDuring (EndFn (WhenFn ?T)) (attribute ?A ?D))))) |
Mid-level-ontology.kif 5899-5912 | |
| (=> (and (instance ?W SickLeave) (agent ?W ?PERSON)) (exists (?S) (and (instance ?S DiseaseOrSyndrome) (refers ?W ?S)))) |
Mid-level-ontology.kif 20292-20299 | |
| (=> (attribute ?X Healthy) (not (exists (?Y) (and (instance ?Y DiseaseOrSyndrome) (attribute ?X ?Y))))) |
Mid-level-ontology.kif 30389-30395 | |
| (=> (instance ?A Ambulance) (hasPurpose ?A (exists (?P ?T) (and (instance ?P Human) (or (attribute ?P DiseaseOrSyndrome) (exists (?I ?H) (and (instance ?I Injuring) (experiencer ?I ?H) (before ?I ?T)))) (instance ?T Transportation) (instrument ?T ?A) (patient ?T ?H))))) |
Transportation.kif 1906-1921 |
|
|
|