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 10298-10298 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 10300-10305
No TPTP formula. May not be expressible in strict first order. Merge.kif 10297-10297 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 13250-13250 The values returned by sense impairment are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13270-13270 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 5903-5903 AllergicReaction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6114-6114 Atrophy is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6127-6127 Bloating is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11232-11232 Choking is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9511-9511 Swelling is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6091-6091 Hallucination is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18709-18709 Headache is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10853-10853 Myocardial infarction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10337-10337 Injuring is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15886-15886 Insomnia is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18704-18704 Pain is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10913-10913 Pericarditis is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5426-5426 Rash is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11377-11377 Stroke is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5614-5614 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 9504-9504 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 10323-10323 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 10307-10315
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10753-10768

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5516-5525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5688-5695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5859-5866
No TPTP formula. May not be expressible in strict first order. Merge.kif 14678-14683


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