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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImpairedBodyPartFn

Sigma KEE - ImpairedBodyPartFn
ImpairedBodyPartFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17947-17950
No TPTP formula. May not be expressible in strict first order. Merge.kif 17945-17945 The number 1 argument of ImpairedBodyPartFn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 17944-17944 ImpairedBodyPartFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 17946-17946 The range of ImpairedBodyPartFn is an instance of disease or syndrome

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17952-17962


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