| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4678-4678 | 液体容器 是 容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2049-2049 | BathTub 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4688-4688 | 瓶子 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4710-4710 | 喝水杯 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4721-4721 | 游泳池 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25277-25277 | WhirlpoolTub 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29487-29487 | FishTank 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3577-3577 | Cask 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 985-985 | GasTank 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3315-3315 | OilPan 是 液体容器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3584-3584 | Balloon 是 液体容器 的 subclass |
|
|