No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5929-5930 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5928-5928 |
typicalBloodVolume 的 2 数量 是 体积测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5927-5927 |
typicalBloodVolume 的 1 数量 是 哺乳动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5926-5926 |
typicalBloodVolume 是 二元谓语 的 instance |