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 10292-10292 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 10294-10299
No TPTP formula. May not be expressible in strict first order. Merge.kif 10291-10291 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 13244-13244 The values returned by sense impairment are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13264-13264 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 5899-5899 AllergicReaction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6110-6110 Atrophy is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6123-6123 Bloating is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11228-11228 Choking is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9507-9507 Swelling is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6087-6087 Hallucination is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18705-18705 Headache is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10849-10849 Myocardial infarction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10331-10331 Injuring is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15882-15882 Insomnia is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18700-18700 Pain is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10909-10909 Pericarditis is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5422-5422 Rash is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11373-11373 Stroke is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5610-5610 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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9500-9500 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 1549-1549 The number 2 argument of pathologicSideEffect is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10317-10317 The number 2 argument of pathologic symptom is a subclass of pathologic process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10301-10309
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10749-10764

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5512-5521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5684-5691
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5855-5862
No TPTP formula. May not be expressible in strict first order. Merge.kif 14672-14677


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