| 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 16952-16955 | |
| (subclass DiseaseOrSyndrome BiologicalAttribute) | Merge.kif 16951-16951 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) | WMD.kif 757-757 | |
| (domain diseaseIncubation 1 DiseaseOrSyndrome) | WMD.kif 1460-1460 | |
| (domain diseaseMortality 1 DiseaseOrSyndrome) | WMD.kif 879-879 | |
| (domain diseaseSymptom 1 DiseaseOrSyndrome) | WMD.kif 865-865 | |
| (domain diseaseSymptom 2 DiseaseOrSyndrome) | WMD.kif 866-866 | |
| (domain diseaseTreatment 1 DiseaseOrSyndrome) | WMD.kif 923-923 | |
| (domain medicine 2 DiseaseOrSyndrome) | VirusProteinAndCellPart.kif 672-672 | |
| (domain sideEffect 2 DiseaseOrSyndrome) | WMD.kif 1470-1470 |
| 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) (patient ?P ?W)))) |
Mid-level-ontology.kif 2098-2111 | |
| (=> (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 9542-9555 | |
| (=> (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 9515-9528 | |
| (=> (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 8716-8729 | |
| (=> (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 753-766 |
| consequent |
|
|
|
|
|