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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImpairmentFn

Sigma KEE - ImpairmentFn
ImpairmentFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13467-13468
No TPTP formula. May not be expressible in strict first order. Merge.kif 13469-13469 The number 1 argument of impairment is a subclass of physiologic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13466-13466 Impairment is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 13470-13470 The values returned by impairment are subclasses of biological process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13472-13472
No TPTP formula. May not be expressible in strict first order. Merge.kif 13471-13471

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13474-13484

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 767-785
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3417-3423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5986-5989
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4230-4236
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2105-2114
No TPTP formula. May not be expressible in strict first order. Medicine.kif 812-821
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4853-4860

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4258-4258 Impairment in walking is a disease symptom of Parkinson's
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2975-2975 Brain fog is a subclass of impairment in Thinking
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2037-2037 Breathing difficulty is a subclass of impairment in breathing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11748-11748 Choking is a subclass of impairment in breathing
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2116-2116 Gastro-intestinal issue is a subclass of impairment in digesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4325-4325 Palpitations is a subclass of impairment in heart beat
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2033-2033 Memory loss is a subclass of impairment in remembering
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2041-2041 Brain fog is a subclass of impairment in psychological process


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