No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4483-4483 |
Basket is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4561-4561 |
Colander is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4521-4521 |
Sieve is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4540-4540 |
Strainer is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64358-64358 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64359-64359 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64357-64357 |
|