DiseaseOrSyndrome |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4029-4031 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18212-18215 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | 子類 DiseaseOrSyndrome and BiologicalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 138-138 | 例 Anemia and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3395-3395 | 例 Asthma and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11035-11035 | 例 Bedridden and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2468-2468 | 例 Beriberi and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6122-6122 | 例 BoneFracture and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5175-5175 | 例 BrainDead and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 412-412 | 例 Bruise and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6292-6292 | 例 癌症 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5946-5946 | 例 CatastrophicBloodLoss and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1479-1479 | 例 ChronicFatigueSyndrome and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5956-5956 | 例 ChronicObstructivePulmonaryDisease and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5204-5204 | 例 Coma and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1383-1383 | 例 Diabetes and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5951-5951 | 例 腹瀉 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16406-16406 | 例 Dizzy and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4361-4361 | 例 Eczema and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6156-6156 | 例 發熱 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1105-1105 | 例 胃腸炎 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6171-6171 | 例 甲狀腺腫 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5718-5718 | 例 HeartDisease and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10463-10463 | 例 HighBloodPressure and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | People.kif 475-475 | 例 HIV愛滋病 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4930-4930 | 例 Hyperferritinemia and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5320-5320 | 例 Hypersalivation and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 677-677 | 例 Hyperthermia and DiseaseOrSyndrome |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 762-762 | 域 生化藥物綜合症, 2 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1933-1933 | 域 diseaseCandidate, 2 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1530-1530 | 域 疾病孵化, 1 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 932-932 | 域 疾病治療, 1 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 885-885 | 域 疾病死亡率, 1 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 870-870 | 域 疾病症狀, 1 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 871-871 | 域 疾病症狀, 2 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5818-5818 | 域 diseaseTreatment, 1 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9641-9641 | 域 medicine, 2 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10409-10409 | 域 pathologicSymptom, 1 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1540-1540 | 域 副作用, 2 and DiseaseOrSyndrome |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 32-46 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2162-2175 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12709-12722 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12682-12695 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11198-11211 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 561-574 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 505-517 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 601-614 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 669-682 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 492-503 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 809-822 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5933-5944 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3517-3529 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10394-10402 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6252-6265 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5932-5945 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20459-20466 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30284-30290 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1906-1921 |