![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 318-319 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 321-321 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 317-317 | Right ventricle is a subclass of body cavity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 320-320 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 323-331 |
|
![]() |
![]() |