No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3592-3592 |
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 29475-29475 |
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 3323-3323 |
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 25276-25276 |
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 |
|