No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3584-3584 |
Balloon 是 液体容器 的 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. |
Food.kif 3577-3577 |
Cask 是 液体容器 的 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 29487-29487 |
FishTank 是 液体容器 的 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. |
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. |
domainEnglishFormat.kif 24368-24368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24367-24367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24366-24366 |
|