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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImpairedBodyPartFn
ImpairedBodyPartFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18220-18223
No TPTP formula. May not be expressible in strict first order. Merge.kif 18218-18218 The number 1 argument of impaired body part fn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 18217-18217 Impaired body part fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 18219-18219 The range of impaired body part fn is an instance of disease or syndrome

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65021-65021

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18225-18235
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1328-1340
No TPTP formula. May not be expressible in strict first order. Medicine.kif 698-715
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1374-1381
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1645-1656

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3449-3460
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1882-1891
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1865-1875
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2316-2321
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2329-2334
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2375-2380
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2282-2287
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2301-2309
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2251-2256
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2418-2423
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2406-2411
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2359-2367
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5732-5736
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1294-1299
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1718-1724


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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