No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4488-4488 |
筐,篮 是 有孔容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4566-4566 |
滤盆 是 有孔容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4526-4526 |
筲箕 是 有孔容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4545-4545 |
滤器 是 有孔容器 的 subclass |
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 |
|