bloodVolume |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5892-5894 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5890-5890 | bloodVolume 的 1 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5891-5891 | bloodVolume 的 2 数量 是 体积测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5889-5889 | bloodVolume 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5895-5895 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5968-5982 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5950-5962 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5933-5944 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5897-5912 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5915-5924 |