No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3584-3584 |
Balloon is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2049-2049 |
Tub is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4688-4688 |
Bottle is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3577-3577 |
Cask is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4710-4710 |
Drinking cup is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29487-29487 |
Fish tank is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 985-985 |
Gas tank is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3315-3315 |
Oil pan is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4721-4721 |
Swimming pool is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25277-25277 |
Whirlpool tub is a subclass of fluid container |
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 |
|