Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DiseaseOrSyndrome

Sigma KEE - DiseaseOrSyndrome
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners