| 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 16937-16940 | |
| (subclass DiseaseOrSyndrome BiologicalAttribute) | Merge.kif 16936-16936 | subclass DiseaseOrSyndrome and BiologicalAttribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) | WMD.kif 757-757 | domain biochemicalAgentSyndrome, 2 and DiseaseOrSyndrome |
| (domain diseaseIncubation 1 DiseaseOrSyndrome) | WMD.kif 1427-1427 | domain diseaseIncubation, 1 and DiseaseOrSyndrome |
| (domain diseaseMortality 1 DiseaseOrSyndrome) | WMD.kif 846-846 | domain diseaseMortality, 1 and DiseaseOrSyndrome |
| (domain diseaseSymptom 1 DiseaseOrSyndrome) | WMD.kif 832-832 | domain diseaseSymptom, 1 and DiseaseOrSyndrome |
| (domain diseaseSymptom 2 DiseaseOrSyndrome) | WMD.kif 833-833 | domain diseaseSymptom, 2 and DiseaseOrSyndrome |
| (domain diseaseTreatment 1 DiseaseOrSyndrome) | WMD.kif 890-890 | domain diseaseTreatment, 1 and DiseaseOrSyndrome |
| (domain medicine 2 DiseaseOrSyndrome) | VirusProteinAndCellPart.kif 670-670 | domain medicine, 2 and DiseaseOrSyndrome |
| (domain sideEffect 2 DiseaseOrSyndrome) | WMD.kif 1437-1437 | domain sideEffect, 2 and DiseaseOrSyndrome |
| 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 2622-2635 | |
| (=> (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 10390-10403 | |
| (=> (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 10363-10376 | |
| (=> (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 9573-9586 | |
| (=> (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 1198-1211 |
| consequent |
|
|
|
|
|