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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PathologicProcess

Sigma KEE - PathologicProcess
PathologicProcess(pathologic process)Adams-Stokes_syndrome, Albright's_disease, Arnold-Chiari_deformity, BPH, Bosin's_disease, Chinese_restaurant_syndrome, Conn's_syndrome, Crohn's_disease, Dawson's_encephalitis, Ekbom_syndrome, FAS, Gilles_de_la_Tourette_syndrome, Gulf_War_syndrome, Horner's_syndrome, Kayser-Fleischer_ring, Kernig's_sign, Koplik's_spots, Marie-Strumpell_disease, Munchausen's_syndrome, Munchausen_syndrome, Noonan's_syndrome, PMS, PVC, Paget's_disease, Persian_Gulf_illness, Ramsay_Hunt_syndrome, Raynaud's_sign, Reiter's_disease, Reiter's_syndrome, Reye's_syndrome, SOB, SSPE, Stokes-Adams_syndrome, TSS, Thomsen's_disease, Tietze's_syndrome, Tourette's_syndrome, Van_Bogaert_encephalitis, Waterhouse-Friderichsen_syndrome, Williams_syndrome, Zollinger-Ellison_syndrome, abiotrophy, achlorhydria, achylia, achylia_gastrica, acrocyanosis, acromegalia, acromegaly, acromyotonia, acute_hemorrhagic_encephalitis...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10385-10385 Pathologic process is disjoint from physiologic process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2922-2924
No TPTP formula. May not be expressible in strict first order. Merge.kif 10387-10392
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1671-1674
No TPTP formula. May not be expressible in strict first order. Merge.kif 10384-10384 Pathologic process is a subclass of biological process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13490-13490 The values returned by sense impairment are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13510-13510 The values returned by no ability of are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6219-6219 Allergic reaction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6441-6441 Atrophy is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2194-2194 Auto-immune disease is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6454-6454 Bloating is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11747-11747 Choking is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9939-9939 Swelling is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1893-1893 GERD is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6418-6418 Hallucination is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19334-19334 Headache is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11350-11350 Myocardial infarction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4324-4324 Palpitations is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2047-2047 Palpitations is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10426-10426 Injuring is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16442-16442 Insomnia is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19329-19329 Pain is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11410-11410 Pericarditis is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5738-5738 Rash is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11892-11892 Stroke is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5928-5928 Taking ill is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1088-1088
No TPTP formula. May not be expressible in strict first order. english_format.kif 1387-1387
No TPTP formula. May not be expressible in strict first order. french_format.kif 766-766

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. Mid-level-ontology.kif 9932-9932 The number 1 argument of pathology treatment is an instance of pathologic process
No TPTP formula. May not be expressible in strict first order. WMD.kif 1558-1558 The number 2 argument of pathologic side effect is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10410-10410 The number 2 argument of pathologic symptom is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1949-1949 The number 2 argument of pathologyCandidate is a subclass of pathologic process

antecedent
-------------------------


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 11247-11262

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. Mid-level-ontology.kif 5830-5839
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6004-6011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6175-6182
No TPTP formula. May not be expressible in strict first order. Merge.kif 14942-14947


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