No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1228-1230 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1226-1226 |
域 oxygenSaturation, 1 and Human |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1227-1227 |
域 oxygenSaturation, 2 and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1225-1225 |
例 oxygenSaturation and BinaryPredicate |