| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8797-8797 | 生理盐水 是 溶液 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12384-12384 | 泪液 是 生理盐水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2821-2821 | SeaWater 是 生理盐水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2848-2848 | BrackishWater 是 生理盐水 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2868-2868 | Brine 是 生理盐水 的 subclass |
|
|