No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4678-4678 | 子類 液體容器 and 容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2049-2049 | 子類 BathTub and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4688-4688 | 子類 瓶子 and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4710-4710 | 子類 喝水杯 and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4721-4721 | 子類 游泳池 and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25276-25276 | 子類 WhirlpoolTub and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29475-29475 | 子類 FishTank and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3577-3577 | 子類 Cask and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 985-985 | 子類 GasTank and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3323-3323 | 子類 OilPan and 液體容器 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3592-3592 | 子類 Balloon and 液體容器 |
![]() |