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 10303-10303 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 10305-10310
No TPTP formula. May not be expressible in strict first order. Merge.kif 10302-10302 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 13263-13263 The values returned by sense impairment are subclasses of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13283-13283 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 5926-5926 AllergicReaction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6148-6148 Atrophy is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6161-6161 Bloating is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11283-11283 Choking is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9557-9557 Swelling is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6125-6125 Hallucination is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18769-18769 Headache is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10904-10904 Myocardial infarction is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10344-10344 Injuring is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15937-15937 Insomnia is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18764-18764 Pain is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10964-10964 Pericarditis is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5445-5445 Rash is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11428-11428 Stroke is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5635-5635 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 9550-9550 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 10328-10328 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 10312-10320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10802-10817

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5537-5546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5711-5718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5882-5889
No TPTP formula. May not be expressible in strict first order. Merge.kif 14694-14699


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