No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4488-4488 |
Basket is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4566-4566 |
Colander is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4526-4526 |
Sieve is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4545-4545 |
Strainer is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64356-64356 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64357-64357 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64355-64355 |
|